Journal Article10.1109/TSMCA.2012.2192266
Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems
Ding Liu,Zhiwu Li,MengChu Zhou +2 more
- 01 Jan 2013
- Vol. 43, Iss: 1, pp 85-97
48
TL;DR: This hybrid method can identify and remove redundant monitors from a liveness-enforcing supervisor designed according to existing policies, improve the permissiveness, reduce the structural complexity of a controlled system, and consequently save the control implementation cost.
read more
Abstract: This paper proposes a hybrid liveness-enforcing method for a class of Petri nets, which can well model many flexible manufacturing systems. The proposed method combines elementary siphons with a characteristic structure-based method to prevent deadlocks and enforce liveness to the net class under consideration. The characteristic structure-based method is further advanced in this work. It unveils and takes a full advantage of an intrinsically live structure of generalized Petri nets, which hides behind the arc weights, to achieve the liveness enforcement without any external control agent such as monitors. This hybrid method can identify and remove redundant monitors from a liveness-enforcing supervisor designed according to existing policies, improve the permissiveness, reduce the structural complexity of a controlled system, and consequently save the control implementation cost. Several examples are used to illustrate this method.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
A mini-review on preference modeling and articulation in multi-objective optimization: current status and challenges
TL;DR: This paper provides a concise review on preference-based multi-objective optimization, including various preference modeling methods and existing preference- based optimization methods, as well as a brief discussion of the main future challenges.
Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets
TL;DR: A new methodology to design and analyze an urban traffic network control system by using the synchronized TPN (STPN), and the applications of the STPN to eight-phase, six- phase, and two-phase traffic-light control systems are modularized.
79
A survey of siphons in Petri nets
Gaiyun Liu,Kamel Barkaoui +1 more
TL;DR: The state-of-the-art siphon theory of Petri nets is surveyed including basic concepts, computation of siphons, controllability conditions, and deadlock control policies based on siphons.
73
Scheduling and Control of Startup Process for Single-Arm Cluster Tools With Residency Time Constraints
TL;DR: This work develops a Petri net model to describe its behavior for a single-arm cluster tool and proposes a scheduling algorithm to find an optimal and feasible schedule for the startup process.
59
Modeling and Analysis of Multiproduct Multistage Manufacturing System for Quality Improvement
Shichang Du,Rui Xu,Lin Li +2 more
TL;DR: The discrete Markov model for single-product-multistage system is extended to novel Markov models for multiproduct-two-stage systems and multiprodutect- multistage systems by calculating state transition probabilities of six key manufacturing parameters to obtain an acceptable product quality probability.
56
References
A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems
Zhiwu Li,MengChu Zhou,Naiqi Wu +2 more
- 01 Mar 2008
TL;DR: This paper intends to review and compare a variety of Petri net-based deadlock prevention policies reported in the literature in terms of structural complexity, behavior permissiveness, and computational complexity to facilitate engineers in choosing a suited method for their industrial application cases.
Design of a live and maximally permissive Petri net controller using the theory of regions
Asma Ghaffari,Nidhal Rezg,Xiaolan Xie +2 more
- 19 Feb 2003
TL;DR: This paper addresses the forbidden state problem of Petri nets with liveness requirement and uncontrollable transitions with the proposed approach computes a maximally permissive PN controller, whenever such a controller exists.
Theory of Regions
Eric Badouel,Philippe Darondeau +1 more
- 01 Sep 1996
TL;DR: This survey follows the gradual development of the theory of regions from its foundation by Ehrenfeucht and Rozenberg with a particular insistence on the abstract meaning of the Theory of regions, which is a general product decomposition of graphs into atomic components determined by a parameter called a type of nets.
Liveness of an extended S3PR
Ding Liu,Zhiwu Li,MengChu Zhou +2 more
TL;DR: This paper presents a new prevention method for deadlock issue arising in flexible manufacturing systems modeled with Petri nets based on a characteristic structure of WS^3PR, an extension of System of Simple Sequential Processes with Resources with Resources (S*3PR) with weighted arcs.
Design and implementation of a Petri net based supervisor for a flexible manufacturing system
TL;DR: This paper shows that it is possible to synthesize a live, bounded, and reversible PN and to use that net description for the control of a medium sized FMS, and guarantees that the desirable properties of liveness, boundedness, and reversibility are present in the resulting net.