Petri Nets
@article{Peterson1977PetriN,
title={Petri Nets},
author={J. L. Peterson},
journal={ACM Comput. Surv.},
year={1977},
volume={9},
pages={223-252}
}Over the last decade, the Petr i net has gamed increased usage and acceptance as a basic model of systems of asynchronous concurrent computation. This paper surveys the basic concepts and uses of Petm nets. The structure of Petr i nets, thei r markings and execution, several examples of Petm net models of computer hardware and software, and research into the analysis of Petm nets are presented, as are the use of the reachabil i ty tree and the decidability and complexity of some Petr i net… CONTINUE READING
Figures and Topics from this paper
1,228 Citations
On Petri Nets and Predicate-Transition Nets
- Computer Science
- Software Engineering Research and Practice
- 2006
- 6
- PDF
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets
- Computer Science
- Petri Nets
- 2015
- 14
- PDF
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
- Computer Science
- IEEE Transactions on Software Engineering
- 1980
- 599
- PDF
Distributing Finite Automata Through Petri Net Synthesis
- Computer Science
- Formal Aspects of Computing
- 2002
- 55
- PDF
References
SHOWING 1-8 OF 8 REFERENCES
The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems
- Computer Science
- SWAT
- 1974
- 71
- Highly Influential
- PDF
E~;ents and condition, Applied Data Research N.Y., 1970; also in Record Project MAC Conf. Concurrent Systems and Parallel Computatmn, (Chapters I
- 1970
Decision problems for Petrl nets and vector addition systems, Computation Structures Group Memo 95
- Project MAC,
- 1975
Properties of conflict M e and perscstent Petr~
- nets, Tech. Rep. 264,
- 1975
Petri nets and commutative grammars, Internal Report No. 74-5
- Laboraterio di Calcolatori, Instituto di Elettrotecnica ed Elettromca del Politecnico di Milano,
- 1974
~'Cooperating sequential processes," in Programming languages, F
- Genuys (Ed.), Academic Press, N. Y.,
- 1968