A False History of True Concurrency: From Petri to Tools

I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after finishing this text. He was a very profound and highly original thinker, and will be sadly missed. This note is dedicated to his memory. In some papers and talks, Moshe Vardi has described the history of the automatatheoretic approach to model checking, the verification technique that inspired the SPIN model checker and other tools. He traces it back to the work of theoreticians like B

• Type: Conference
• Year: 2010
• Where: GG
• Authors: Javier Esparza
• Keywords: Carl Adam Petri, GG 2010, Model Checking, Theoretical Computer Science, True Concurrency