scholarly journals One Computational Innovation Transition-Based Recovery Policy for Flexible Manufacturing Systems Using Petri nets

2020 ◽  
Vol 10 (7) ◽  
pp. 2332 ◽  
Author(s):  
Yen-Liang Pan
Keyword(s):  
Petri Nets ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Control Policy ◽  
Deadlock Prevention ◽  
Three Dimension ◽  
Factory Production ◽  
Almost All ◽  
Industrial Revolutions

In the third and fourth industrial revolutions, smart or artificial intelligence flexible manufacturing systems (FMS) seem to be the key machine equipment for capacity of factory production. However, deadlocks could hence appear due to resources competition between robots. Therefore, how to prevent deadlocks of FMS occurring is a very important and hot issue. Based on Petri nets (PN) theory, in existing literature almost all research adopts control places as their deadlock prevention mean. However, under this strategy the real optimal reachable markings are not achieved even if they claimed that their control policy is maximally permissive. Accordingly, in this paper, the author propose one novel transition-based control policy to solve the deadlock problem of FMS. The proposed control policy could also be viewed as deadlock recovery since it can recover all initial deadlock and quasi-deadlock markings. Furthermore, control transitions can be calculated and obtained once the proposed three-dimension matrix, called generating and comparing aiding matrix (GCAM) in this paper, is built. Finally, an iteration method is used until all deadlock markings become live ones. Experimental results reveal that our control policy seems still the best one among all existing methods in the literature regardless of whether these methods belong to places or transitions based.

Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems

2011 ◽  
pp. 416-433 ◽  
Author(s):  
Chunfu Zhong ◽  
Zhiwu Li
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Flexible Manufacturing ◽  
Mixed Integer Linear Programming ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Iteration Step ◽  
Mixed Integer ◽  
Deadlock Prevention ◽  
Prevention Approach

In flexible manufacturing systems, deadlocks usually occur due to the limited resources. To cope with deadlock problems, Petri nets are widely used to model these systems. This chapter focuses on deadlock prevention for flexible manufacturing systems that are modeled with S4R nets, a subclass of generalized Petri nets. The analysis of S4R leads us to derive an iterative deadlock prevention approach. At each iteration step, a non-max-controlled siphon is derived by solving a mixed integer linear programming. A monitor is constructed for the siphon such that it is max-controlled. Finally, a liveness-enforcing Petri net supervisor can be derived without enumerating all the strict minimal siphons.

Petri Net Channelized-Based Deadlock Prevention Policy for Flexible Manufacturing Systems

2011 ◽  
Vol 317-319 ◽  
pp. 552-555
Author(s):  
Yi Sheng Huang ◽  
Ter Chan Row
Keyword(s):  
Control System ◽  
Petri Net ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Control Policy ◽  
Original Model ◽  
Deadlock Prevention ◽  
Prevention Policy ◽  
Maximal Permissiveness

Petri nets are employed to model flexible manufacturing systems (FMSs). However, the system deadlocked are possible happened. The conventional deadlock prevention policies are always to forbid the system entering the deadlock by using the control places. To obtain a live system, some dead markings must be sacrificed in the traditional policies. Therefore, the original reachability states of the original model can not be conserved. However, this paper is able to maintain all the reachability states of the original net and guaranty the control system live. Under our control policy, all number of reachability states of the original net will be preserved. Finally, two examples are performed that can reach the maximal permissiveness for FMSs using Petri net models (PNMs).

A Channelized Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models

2011 ◽  
Vol 284-286 ◽  
pp. 1498-1501
Author(s):  
Yi Sheng Huang ◽  
Ter Chan Row
Keyword(s):  
Petri Net ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Control Policy ◽  
Deadlock Avoidance ◽  
Deadlock Prevention ◽  
Deadlock Detection ◽  
Prevention Policy ◽  
Maximal Permissiveness

Deadlock prevention, deadlock detection and deadlock avoidance strategies are used to solve the deadlock problems of flexible manufacturing systems (FMSs). The conventional prevention policies were always attempt to prevent the system entering the deadlocked situation by using a few control places. On can know that one prohibits the deadlocked markings, some dead markings will be sacrificed. Therefore, the reachability states will become less than the initial net. However, our goal is to preserve all the reachability states of the initial net. Under our control policy, the deadlocks or deadlock zone will be channelized to live markings such that all the dead markings in reachability states will be conserved. Finally, an example is performed and can obtain the maximal permissiveness of a Petri net model. The other examples are all getting the same result. To our knowledge, this is the first work that employs the channelized method to prevent the deadlock problem for FMSs.

Deadlock Prevention for Automated Manufacturing Systems with Uncontrollable and Unobservable Transitions

2013 ◽  
pp. 367-387
Author(s):  
Meng Qin
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Deadlock Prevention ◽  
Sufficient Condition ◽  
Prevention Policy ◽  
Automated Manufacturing Systems ◽  
Partial Observability

Many deadlock prevention policies on the basis of Petri nets dealing with deadlock problems in flexible manufacturing systems exist. However, most of them do not consider uncontrollable and unobservable transitions. This chapter solves deadlock problems in Petri nets with uncontrollable and unobservable transitions. A sufficient condition is developed to decide whether an existing deadlock prevention policy is still applicable in a Petri net with uncontrollable and unobservable transitions, when the policy itself is developed under the assumption that all the transitions are controllable and observable. Moreover, the author develops a deadlock prevention policy to design liveness-enforcing supervisors for a class of Petri nets with partial observability and controllability of transitions. Furthermore, a sufficient condition to decide the existence of a monitor to enforce a liveness constraint is developed.

A Computationally Improved Control Policy for FMS Using Crucial Marking/Transition-Separation Instances

2013 ◽  
pp. 61-82
Author(s):  
Yi-Sheng Huang ◽  
Yen-Liang Pan
Keyword(s):  
Petri Net ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Control Policy ◽  
Deadlock Avoidance ◽  
Deadlock Prevention ◽  
Deadlock Detection ◽  
Optimal Controllers ◽  
Unique Method

Deadlock prevention, deadlock detection, and deadlock avoidance strategies are used to solve the deadlock problems of Flexible Manufacturing Systems (FMS). The theory of regions has been recognized as the unique method for obtaining maximally permissive controllers in the existing literature. All legal and live maximal behavior of a Petri net model can be preserved by using a Marking/Transition-Separation Instance (MTSI). However, obtaining all sets of MTSIs is an extremely time consuming problem. This work proposes Crucial Marking/Transition-Separation Instances (CMTSIs) that allow designers to employ few MTSIs to deal with deadlocks. The advantage of the proposed policy is that a maximally permissive controller can be obtained with drastically reduced computation. Experimental results, by varying the markings of given net structures, indicate that it is the most efficient policy to obtain optimal controllers among existing methods based on the theory of regions.

scholarly journals Enhancement of Selective Siphon Control Method for Deadlock Prevention in FMSs

2015 ◽  
Vol 2015 ◽  
pp. 1-6 ◽  
Author(s):  
Yen-Liang Pan ◽  
Cheng-Fu Yang ◽  
Mu-Der Jeng
Keyword(s):  
Computational Efficiency ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Control Method ◽  
Control Policy ◽  
Experimental Results ◽  
Deadlock Prevention ◽  
Exact Number ◽  
Sequential Processes

One novel control policy named selective siphon control policy is proposed to solve for deadlock problems of flexible manufacturing systems (FMSs). The new policy not only solves the deadlock problem successfully but also obtains maximally permissive controllers. According to our awareness, the policy is the first one to achieve the goal of obtaining maximally permissive controllers for all S3PR (one system of simple sequential processes with resources, S3PR) models in existing literature. However, one main problem is still needed to solve in their algorithm. The problem is that the proposed policy cannot check the exact number of maximally permissive states of a deadlock net in advance. After all iterating steps, the final maximally permissive states can then be known. Additionally, all legal markings are still to be checked again and again until all critical markings vanished. In this paper, one computationally improved methodology is proposed to solve the two problems. According to the experimental results, the computational efficiency can be enhanced based on the proposed methodology in this paper.

scholarly journals An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets

2016 ◽  
Vol 2016 ◽  
pp. 1-12 ◽  
Author(s):  
YiFan Hou ◽  
Mi Zhao ◽  
Ding Liu ◽  
Liang Hong
Keyword(s):  
Petri Nets ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Synthesis Method ◽  
Deadlock Avoidance ◽  
Deadlock Prevention ◽  
Prevention Policy ◽  
Supervisor Synthesis ◽  
Resource Allocation Systems

We propose a new deadlock prevention policy for an important class of resource allocation systems (RASs) that appear in the modeling of flexible manufacturing systems (FMSs). The model of this class in terms of generalized Petri nets is, namely, S4PR. On the basis of recent structural analysis results related to the elementary siphons in generalized Petri nets on one hand and an efficient deadlock avoidance policy proposed for the class of conjunctive/disjunctive (C/D) RASs on the other hand, we show how one can generate monitors to be added to a net system such that all its strict minimal siphons aremax′-controlled and no insufficiently marked siphon is generated. Thereby, a new, simple, and more permissive liveness-enforcing supervisor synthesis method for S4PR is established.

scholarly journals A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 49362-49376 ◽  
Author(s):  
Wei Duan ◽  
Chunfu Zhong ◽  
Xiang Wang ◽  
Ateekh Ur Rehman ◽  
Usama Umer ◽  
...  
Keyword(s):  
Structural Analysis ◽  
Petri Nets ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Deadlock Prevention ◽  
Prevention Policy
Sign in / Sign up

Export Citation Format

Share Document