Petri nets: Properties, analysis and applications

Author

Murata, Tadao

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

Volume

77

Issue

4

fYear

1989

fDate

4/1/1989 12:00:00 AM

Firstpage

541

Lastpage

580

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

Keywords

Petri nets; logic programming; stochastic processes; Petri nets; behavioural properties; concurrent system model; high-level nets; logic programming; marked graphs; performance modeling; reachability criteria; stochastic nets; structural properties; subclasses; Books; Equations; History; Information processing; Logic programming; Mathematical model; Petri nets; Power system modeling; Stochastic processes; Stochastic systems;

fLanguage

English

Journal_Title

Proceedings of the IEEE

Publisher

ieee

ISSN

0018-9219

Type

jour

DOI

10.1109/5.24143

Filename

24143