Proceedings ArticleDOI
Generalized mutual exclusion contraints on nets with uncontrollable transitions
Alessandro Giua,Frank DiCesare,Manuel Silva +2 more
- pp 974-979
TLDR
For some classes of nets, the authors prove that generalized mutual exclusion constraints may always be enforced by monitors, even in the presence of uncontrollable transitions.Abstract:
The authors study a class of specifications, called generalized mutual exclusion constraints, for discrete event systems modeled using place/transition nets. These specifications may be easily enforced by a set of places called monitors on a net system where all transitions are controllable. However, when some of the transitions of the net are uncontrollable, this technique is not always applicable. For some classes of nets, the authors prove that generalized mutual exclusion constraints may always be enforced by monitors, even in the presence of uncontrollable transitions. >read more
Citations
More filters
Journal ArticleDOI
A Survey of Petri Net Methods for Controlled Discrete EventSystems
TL;DR: An overview of the various models and problems formulated in the literature focusing on two particular models, the controlled Petri nets and the labeled nets, and two efficient techniques for the on-line computation of the control law.
Journal ArticleDOI
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
Jonghun Park,Spyros Reveliotis +1 more
TL;DR: The main purpose of this correspondence is to establish that, contrary to the claims that are made in the paper by D. Y. Chao and S. A. Reveliotis concerning the liveness characterization of the S3PGR2 nets by means of the structural object of deadly marked siphon, the results are correct and complete.
Journal ArticleDOI
Petri net supervisors for DES with uncontrollable and unobservable transitions
J.O. Moody,Panos J. Antsaklis +1 more
TL;DR: A supervisor synthesis technique for Petri net plants with uncontrollable and unobservable transitions, that enforces the conjunction of a set of linear inequalities on the reachable markings of the plant, is presented.
Journal ArticleDOI
Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review
Zhiwu Li,Naiqi Wu,MengChu Zhou +2 more
TL;DR: This study surveys the state-of-the-art deadlock-control strategies for automated manufacturing systems by reviewing the principles and techniques that are involved in preventing, avoiding, and detecting deadlocks.
Journal Article
Linear algebraic and linear programming techniques for the analysis of Place/Transition net systems
TL;DR: The structure theory of transition net systems is surveyed in this paper, mainly from a linear algebraic perspective, and the state equation based analysis of safety properties (e.g., boundedness, mutual exclusion, deadlock-freeness, etc.).
References
More filters
Journal ArticleDOI
Petri nets: Properties, analysis and applications
TL;DR: 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.
Journal ArticleDOI
The control of discrete event systems
Peter J. Ramadge,W. M. Wonham +1 more
TL;DR: The focus is on the qualitative aspects of control, but computation and the related issue of computational complexity are also considered.
Journal ArticleDOI
Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows
Zbigniew Banaszak,Bruce H. Krogh +1 more
TL;DR: The authors develop a Petri net model of concurrent job flow and dynamic resource allocation in an FMS and define deadlock in terms of transition enabling in the PN model to prove that restricted deadlock can never occur for any resource allocation policy implemented under the DAA restriction policy.
Journal ArticleDOI
Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models
TL;DR: It is shown that prevention and avoidance of FMS deadlocks can be implemented using Petri net models and a generic, Petri-net-based online controller for implementing deadlock avoidance in real-world FMSs is developed.
Journal ArticleDOI
Synthesis of feedback control logic for a class of controlled Petri nets
TL;DR: It is shown that the graphical representations of the state transition logic in a CMG can be used to synthesize state feedback logic which is maximally permissive while guaranteeing the forbidden states will not occur.