In: Proceedings of the IEEE, Vol. 77, No. 4, pages 541-580. April 1989.
Abstract: This is an tutorial-review paper on Petri nets. It starts with a brief review of the history and the application areas considered in the literature. It then proceeds with examples, behavioral and structural properties, methods of analysis, subclasses of Petri nets and their analysis. The paper contains a section devoted to marked graphs and presents introductory discussions on stochastic nets and on high-level nets. Also included are recent results on reachability criteria.