Ernst W. Mayr: An algorithm for the general Petri net reachability problem. In: SIAM Journal on Computing. Bd. 13, Nr. 3, 1984, S. 441–460, doi:10.1137/0213029.
Carl Adam Petri: Kommunikation mit Automaten (= Schriften des Rheinisch-Westfälischen Institutes für Instrumentelle Mathematik an der Universität Bonn. 2, ZDB-ID 405247-x). Mathematisches Institut der Universität Bonn, Bonn 1962, (Zugleich: Darmstadt, Technische Hochschule, Dissertation, 1962).