Petri nets: Properties, analysis and applications

T. Murata T. Murata
1989 Proceedings of the IEEE 10,439 citations

Abstract

Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis. In particular, one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided. Also included are recent results on reachability criteria. Suggestions are provided for further reading on many subject areas of Petri nets.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>

Keywords

ReachabilityPetri netComputer scienceReading (process)Programming languageSection (typography)Stochastic Petri netTheoretical computer scienceArtificial intelligence

Affiliated Institutions

Related Publications

Publication Info

Year
1989
Type
article
Volume
77
Issue
4
Pages
541-580
Citations
10439
Access
Closed

External Links

Social Impact

Social media, news, blog, policy document mentions

Citation Metrics

10439
OpenAlex

Cite This

T. Murata (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE , 77 (4) , 541-580. https://doi.org/10.1109/5.24143

Identifiers

DOI
10.1109/5.24143