One Novel Computationally Improved Control Policy for Deadlock Problems of Flexible Manufacturing Systems using Petri Nets

2013 ◽  
Author(s):  
Yen-Liang Pan ◽  
Wei-Shiang Liao ◽  
Chia-Hsing Wei ◽  
Tzu-Hsiang Huang
Keyword(s):  
Petri Nets ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Control Policy

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.

An Efficient Deadlock Avoidance Policy for FMS Using ROPN

2014 ◽  
Vol 998-999 ◽  
pp. 751-754
Author(s):  
Yu Ming Zhao ◽  
Xiang Ju Chai ◽  
Li Zhen Zhao
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Control Strategy ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Control Policy ◽  
Deadlock Avoidance ◽  
Concurrent Execution ◽  
Better Than

This article shows a composed method for modeling the concurrent execution of working processes in flexible manufacturing systems (FMS) by a special class of Petri nets named Resource Oriented Petri nets (ROPN). Essentially, the type of net comes from the availability of system resources. The analysis of ROPN is used to characterize deadlock situations in terms of full markings for certain structure named PPC. For the sake of preventing the system from deadlocks, a policy is proposed based on a series of restrictions for resource allocation, without considering the presence of unmarked siphons in Process Oriented Petri net (POPN). Finally, a control strategy of deadlock avoidance is designed for ROPN, which is better than other control policy.

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.

Sign in / Sign up

Export Citation Format

Share Document