Introduction and description of Petri Nets
Over the last decade, the Petri net has gained increased usage and acceptance as a basic model of systems of asynchronous concurrent computation. This paper surveys teh basic concepts and uses of Petri nets. The structure of Petri nets, their markings and execution, several examples of Petri net models of computer hardware and software, and research into the analysis of Petri nets are presented, as are the use of the reachability tree and the decidability and complexity of some Petri net problems. Petri net languages, models of computation related to Petri nets, and some extensions and subclasses of the Petri net model are also briefly discussed.
@article{356702,
author = {James L. Peterson},
title = {Petri Nets},
journal = {ACM Comput. Surv.},
volume = {9},
number = {3},
year = {1977},
issn = {0360-0300},
pages = {223--252},
doi = {http://doi.acm.org/10.1145/356698.356702},
publisher = {ACM Press},
address = {New York, NY, USA},
}