Jeff Magee & Jeff Kramer:
Concurrency (State Models & Java Programs), Wiley&Sons (1999).
[Für den ersten Teil]

Eike Jessen & Rüdiger Valk:
Rechensysteme – Grundlagen der Modellbildung, Springer-Verlag (1987).
[Nur noch als Kopie erhältlich, nicht mehr im Verkauf]

Wolfgang Reisig:
Petrinetze, Springer-Verlag (1985).

Claude Girault, Rüdiger Valk: Petri Nets for Systems Engineering - A Guide to Modelling, Verification, and Applications, Springer-Verlag (2003)