Title :
Petri nets: Properties, analysis and applications
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
fDate :
4/1/1989 12:00:00 AM
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;
Journal_Title :
Proceedings of the IEEE
