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
An Efficient Mixed Integer Programming Model Based on Timed Petri Nets for Diverse Complex Cluster Tool Scheduling Problems
Chihyun Jung,Tae-Eog Lee +1 more
TL;DR: An efficient scheduling method to deal with diverse complex cluster tool scheduling problems by using timed Petri nets (TPN), and a new mixed integer programming (MIP) model that can efficiently determine the optimal cyclic schedules is proposed.
When push comes to shove: a computational model of the role of motor control in the acquisition of action verbs
David Bailey,Jerome A. Feldman +1 more
TL;DR: This dissertation explores the hypothesis that to explain the acquisition and use of action verbs, motor control must be taken into account and presents a model of embodied semantics based on the principles of neural computation in general and on the human motor system in particular.
Journal ArticleDOI
Automated Security Test Generation with Formal Threat Models
TL;DR: This paper presents an approach to automated generation of security tests by using formal threat models represented as Predicate/Transition nets, which generates all attack paths from a threat model and converts them into executable test code according to the given Model-Implementation Mapping (MIM) specification.
Journal ArticleDOI
Petri Net Modeling and Wafer Sojourn Time Analysis of Single-Arm Cluster Tools With Residency Time Constraints and Activity Time Variation
Yan Qiao,Naiqi Wu,MengChu Zhou +2 more
TL;DR: In this article, a real-time control policy for single-arm cluster tools is proposed such that its use offsets the effect of the activity time variation as much as possible, and analytical expressions are given to calculate the upper bound.
Journal ArticleDOI
On K-diagnosability of Petri nets via integer linear programming
TL;DR: The main contribution of this paper is a necessary and sufficient condition for K-diagnosability of bounded nets, which exploits the mathematical representation of Petri nets and the Integer Linear Programming optimization tool.
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.