Petri Nets

  title={Petri Nets},
  author={J. L. Peterson},
  journal={ACM Comput. Surv.},
  • J. L. Peterson
  • Published 1977
  • Computer Science
  • ACM Comput. Surv.
  • 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
    1,228 Citations
    On Petri Nets and Predicate-Transition Nets
    • 6
    • PDF
    On the Semantics of Petri Nets
    • 71
    • PDF
    Nested-unit Petri nets
    • H. Garavel
    • Computer Science
    • J. Log. Algebraic Methods Program.
    • 2019
    • 9
    • PDF
    Tyne An Algebra of Timed-Arc Petri Nets
    • PDF
    Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
    • 599
    • PDF
    Distributing Finite Automata Through Petri Net Synthesis
    • 55
    • PDF


    Parallel Program Schemata
    • 975
    • Highly Influential
    • PDF
    The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems
    • 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
    Analysis of controlling agents for asynchronous processes
    • 2
    • Highly Influential
    • PDF
    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