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
Journal ArticleDOI
Petri net structural analysis for supervisory control
Alessandro Giua,Frank DiCesare +1 more
TL;DR: The paper discusses how integer programming techniques for Petri net models may be used to validate supervisors for the control of discrete event systems, and considers a class of place/transition nets, called elementary composed state machines.
Journal Article
Genetic process mining : A basic approach and its challenges
TL;DR: In this paper, a genetic algorithm is used to mine process models from a given event log, and the current status of the research and the pros and cons of the fitness measure that has been used so far are discussed.
DissertationDOI
Mining process model variants: Challenges, Techniques, Examples
TL;DR: The heuristic algorithm can identify important changes at the beginning of the search and can discover better results than the clustering algorithm, and the two algorithms successfully applied to cases from the automotive and the healthcare domain.
Journal ArticleDOI
Segmenting the fly embryo: logical analysis of the role of the Segment Polarity cross-regulatory module
TL;DR: An original computational method leads to the delineation of a subset of crucial regulatory circuits enabling the coexistence of specific expression states at the cellular level, as well as specific combination of cellular states inter-connected through Wingless and Hedgehog signalling.
Journal ArticleDOI
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case
TL;DR: This paper distinguishes between the off-line and the on-line computation that is required for the effective implementation of the maximally permissive DAP, and it seeks to develop representations of this policy that will require minimal on- line computation.
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.