Journal ArticleDOI
Petri nets: Properties, analysis and applications
Tadao Murata
- Vol. 77, Iss: 4, pp 541-580
TLDR
The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.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. >read more
Citations
More filters
Semantics and Verification of UML Activity Diagrams for Workflow Modelling
TL;DR: A formal semantics for UML activity diagrams that is suitable for workflow modelling and allows verification of functional requirements using model checking and the feasibility of the approach is demonstrated by using the tool to verify some real-life workflow models.
Book ChapterDOI
Place or Transition Petri Nets
Jörg Desel,Wolfgang Reisig +1 more
TL;DR: This contributions provides an introduction to the theory of place/transition Petri nets and some analysis techniques that are based on the structure of place and transition Petrinets.
Book ChapterDOI
Petri nets and flexible manufacturing
Manuel Silva,Robert Valette +1 more
TL;DR: The aim of this invited survey is to introduce Computer science/Petri nets specialists to the basic system level issues brought up by the development of Flexible Manufacturing and how Petri nets are used to aid the production engineers in their work.
Journal ArticleDOI
Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
TL;DR: A novel and computationally efficient method to design optimal control places, and an iteration approach that only computes the reachability graph of a plant Petri net model once in order to obtain a maximally permissive liveness-enforcing supervisor for an FMS.
Journal ArticleDOI
APROMORE : an advanced process model repository
Marcello La Rosa,Hajo A. Reijers,Wil M. P. van der Aalst,Remco M. Dijkman,Jan Mendling,Marlon Dumas,Luciano García-Bañuelos +6 more
TL;DR: This paper describes the functionality and architecture of an advanced process model repository, named APROMORE, which brings together a rich set of features for the analysis, management and usage of large sets of process models, drawing from state-of-the art research in the field of process modeling.
References
More filters
Kommunikation mit Automaten
TL;DR: The theory of automata is shown not capable of representing the actual physical flow of information in the solution of a recursive problem and a theory of communication is proposed that yields a means of representation that with equal rigor and simplicity accomplishes more than the theory of synchronous automata.
Journal ArticleDOI
A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
TL;DR: It is shown that GSPN are equivalent to continuous-time stochastic processes, and solution methods for the derivation of the steady state probability distribution are presented.
Journal ArticleDOI
Performance Analysis Using Stochastic Petri Nets
TL;DR: An isomorphism between the behavior of Petri nets with exponentially distributed transition rates and Markov processes is presented and this work solves for the steady state average message delay and throughput on a communication link when the alternating bit protocol is used for error recovery.
Journal ArticleDOI
Parallel program schemata
TL;DR: This paper introduces a model called the parallel program schema for the representation and study of programs containing parallel sequencing, related to Ianov's program schema, but extends it, both by modelling memory structure in more detail and by admitting parallel computation.
Journal ArticleDOI
Recoverability of Communication Protocols--Implications of a Theoretical Study
P. Merlin,D. Farber +1 more
TL;DR: The time-Petri net (TPN) appears to be a suitable model for the study of practical recoverable processes and several practical communication protocols are formally designed and analyzed using this new model.