Reference:

J. Esparza. A false history of true concurrency: from Petri to tools. In Proc. of the 17th International SPIN Workshop, 2010.

Abstract:

I briefly review the history of the unfoding approach to model checking.

Suggested BibTeX entry:

@inproceedings{Esp10,
    author = {J. Esparza},
    booktitle = {Proc. of the 17th International SPIN Workshop},
    title = {A False History of True Concurrency: from {P}etri to Tools},
    year = {2010}
}