1. van der Aalst W, van Hee K (2004) Workflow Management: Models, Methods, and Systems (Cooperative Information Systems). The MIT Press, Cambridge, MA
2. Broy M, Denert E (2005) Software Pioneers. Springer, Berlin Heidelberg
3. Mayr EW (1984) An algorithm for the general Petri net reachability Problem. SIAM J Comput 13(3):441–460
4. Petri CA (1962) Kommunikation mit Automaten. PhD thesis, TU Darmstadt
5. Petri CA (1965) Grundsätzliches zur Beschreibung diskreter Prozesse. Birkhäuser-Verlag, Basel