# Petri Nets

@article{Peterson1977PetriN, title={Petri Nets}, author={James 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…

## Figures and Topics from this paper

## 1,345 Citations

On Petri Nets and Predicate-Transition Nets

- Computer ScienceSoftware Engineering Research and Practice
- 2006

This work implements mechanisms that automate the process of folding a Petri net to a PrT net and finding invariants, which can compute invariants for systems that use either PetriNet or the extended PrTNet.

On the Semantics of Petri Nets

- Mathematics, Computer ScienceCONCUR
- 1992

Petri Place/Transition nets still lack a satisfactory semantics; Winskel's basic unfolding construction, which provides a coreflection between nets and finitary prime algebraic domains, works only for safe nets.

Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets

- Computer SciencePetri Nets
- 2015

This article presents an extension of Petri nets, in which places can be grouped into so-called “units” expressing sequential components, which can be recursively nested to reflect the hierarchical nature of complex systems.

Towards a Linear Logic Based Calculus for Structural Modifications of Petri Nets

- 2007

Object based Petri nets are becoming increasingly popular in many fields of computer science. The possibility to model real-world objects as separate Petri nets supports the need for modular design…

Nested-unit Petri nets

- Computer ScienceJ. Log. Algebraic Methods Program.
- 2019

This article presents an extension of Petri nets, in which places can be grouped into so-called “units” expressing sequential components, which can be recursively nested to reflect both the concurrent and hierarchical nature of complex systems.

Tyne An Algebra of Timed-Arc Petri Nets

- 2005

In this paper we present and investigate two algebras, one based on term re-writing and the other on Petri nets, aimed at the specification and analysis of concurrent systems with timing information.…

Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

- Computer ScienceIEEE Transactions on Software Engineering
- 1980

An extended timed Petri net model is used to model clearly the synchronization involved in these systems, and it is found that the computational complexity involved increases in the same order as they are listed above.

Petri Nets: Properties, Analysis and Appl ka t ions

- 2004

This is an invited tutorial-review paper on Petri nets-a graphical and mathematical modeling tool. Petri nets are a promising tool for describing and studying information processing systems that are…

On the Problem of Characterizing Boolean Petri Nets

- Computer Science
- 2015

The aim of this paper is to present some basic results and necessary and sufficient condition for a 1-safe Petri net that generates all the binary nvectors as marking vectors, and shall call such Petrinets as Boolean Petri nets.

Distributing Finite Automata Through Petri Net Synthesis

- Computer ScienceFormal Aspects of Computing
- 2002

It is shown that the general Petri net synthesis problem and its distributed version may both be solved in time polynomial in the size of the given graph.

## References

SHOWING 1-10 OF 164 REFERENCES

Petri Nets and Szilard Languages

- Computer ScienceInf. Control.
- 1977

After introducing new normal forms for Petri nets, it is proved that the reachability problem is equivalent to the emptiness problem for the intersection of Szilard languages and the methodology presented should also apply to related models for representing parallel processes such as Karp and Miller and Gostelow.

Comments on capabilities, limitations and “correctness” of Petri nets

- Computer ScienceISCA 1973
- 1973

The capabilities and limitations of Petri nets are examined and techniques for proving their correctness are investigated and the feasibility of using the methods of computational induction and inductive assertions to prove restricted statements about Petrinets is established.

Comments on capabilities, limitations and “correctness” of Petri nets

- ISCA '73
- 1973

The capabilities and limitations of Petri nets are examined and techniques for proving their correctness are investigated and the feasibility of using the methods of computational induction and inductive assertions to prove restricted statements about Petrinets is established.

ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS

- Computer Science
- 1972

This thesis presents results on structural constraints guaranteeing global operation, and decompositions of complex systems into meaningful parts, and for a corresponding class of systems called Production Schemata.

ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS

- Computer Science
- 1974

This thesis is concerned with the modeling and performance analysis of systems which consist of concurrently acting components, an example of which is an asynchronous pipelined processor. The work is…

Macro E-Nets for Representation of Parallel Systems

- Computer ScienceIEEE Transactions on Computers
- 1973

Previous work on evaluation nets is extended through the use of macro nets that represent structures made up of the primitives, allowing compression of the net for easier understanding.

Decidability Questions for Petri Nets

- Mathematics, Computer ScienceOutstanding Dissertations in the Computer Sciences
- 1975

A number of Petri Net problems are shown to be recursively equivalent to the Reachability Problem for Vector Addition Systems, and the equality of Reachability Sets and the equivalence of two Petri Nets in terms of their language-generating capability are recursive undecidable.

A Comparison of Some Theoretical Models of Parallel Computation

- Computer ScienceIEEE Transactions on Computers
- 1973

This paper describes and compares a number of theoretical models for parallel computation; namely, Petri nets, computation graphs, and parallel program schemata, and shows how marked graphs, a particular type of Petri net, are a restricted type of computation graph.

Computation Sequence Sets

- Computer Science, MathematicsJ. Comput. Syst. Sci.
- 1976

A class of automata based upon generalized Petri nets is introduced and defined, and the class of CSS languages is shown to be closed under union, intersection, concatenation, and concurrency.

Termination Properties of Generalized Petri Nets

- Mathematics, Computer ScienceSIAM J. Comput.
- 1976

A generalization of Petri nets and vector addition systems, called GPN and MGPN, is introduced and the main results obtained are every strongly connected, strongly repetitive and forward- (or backward-) conflict-free GPN must be conservative.