Journal ArticleDOI
Petri nets: Properties, analysis and applications
Tadao Murata
- Vol. 77, Iss: 4, pp 541-580
Reads0
Chats0
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
Inheritance of workflows: an approach to tackling problems related to change
W.M.P. van der Aalst,Twan Basten +1 more
TL;DR: In this article, the authors propose inheritance-preserving transformation rules for workflow processes and show that these rules can be used to avoid problems such as the "dynamic change bug." The dynamic change bug refers to errors introduced by migrating a case (i.e., a process instance) from an old process definition to a new one.
Journal ArticleDOI
Industrial automation based on cyber-physical systems technologies
TL;DR: An overview of key aspects of industrial CPS, their technologies and emerging directions, as well as challenges for their implementation is presented and a prioritization and timeline are pointed out with the aim to increase Technology Readiness Levels and lead to their usage in industrial automation environments.
Book
Database Security
TL;DR: Security issues for data warehousing and data mining are described and security implications of data mining, as well as data mining as a tool to handle security problems are given.
Proceedings ArticleDOI
Scheduling dynamic dataflow graphs with bounded memory using the token flow model
J.T. Buck,Edward A. Lee +1 more
TL;DR: The authors build upon research by E. A. Lee (1991) concerning the token flow model by analyzing the properties of cycles of the schedule: sequences of actor executions that return the graph to its initial state.
Journal ArticleDOI
Genetic process mining: an experimental evaluation
TL;DR: Experiments with synthetic and real-life logs show that the fitness measure indeed leads to the mining of process models that are complete (can reproduce all the behavior in the log) and precise (do not allow for extra behavior that cannot be derived from the event log).
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.