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
Book
Introduction to Discrete Event Systems
TL;DR: This edition includes recent research results pertaining to the diagnosis of discrete event systems, decentralized supervisory control, and interval-based timed automata and hybrid automata models.
Journal ArticleDOI
The application of Petri-nets to workflow management
TL;DR: This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.
Journal ArticleDOI
Workflow mining: discovering process models from event logs
TL;DR: A new algorithm is presented to extract a process model from a so-called "workflow log" containing information about the workflow process as it is actually being executed and represent it in terms of a Petri net.
Journal ArticleDOI
Machine Recognition of Human Activities: A Survey
TL;DR: A comprehensive survey of efforts in the past couple of decades to address the problems of representation, recognition, and learning of human activities from video and related applications is presented.
References
More filters
Journal ArticleDOI
Programmable logic controllers and petri nets: a comparative study
Manuel Silva,S. Velilla +1 more
TL;DR: This paper presents a conceptual framework to systematize concepts introduced in different PLCs specifically designed for safe (1-bounded) PN simulation and shows that there is no “optimum” schema.
Journal ArticleDOI
A view of human-machine communication and co-operation
TL;DR: The view of computer systems as communication media with formal communicating behaviour permits an explanation of problems arising from computer applications, especially at the human-machine interface, and shows directions for future research.
Journal ArticleDOI
Using Predicate/Transition-Nets to Model and Analyze Distributed Database Systems
TL;DR: Predicate/transition-nets, a first-order extension of Petri nets, are shown to provide suitable means for concise representation of complex decentralized systems and for their rigorous formal analysis.
Journal ArticleDOI
Synthesis of a Class of Deadlock-Free Petri Nets
Ajoy K. Datta,Sukumar Ghosh +1 more
TL;DR: Description d'une nouvelle classe de Reseau de Petri appeles reseaux reguliers d'etiquetage de reseau et une methode systematique de synthetisation de reseaux normaliers est presentee.
Journal ArticleDOI
Hierarchical models for systems reliability, maintainability, and availability
TL;DR: A hierarchical model is obtained, based on the notion of time scale decompsotion, for system RMA, and a general method of analysis for GSPN's by state aggregation is presented.