Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets

2013 ◽  
Vol 27 (1) ◽  
pp. 85-102 ◽  
Author(s):  
YiFan Hou ◽  
ZhiWu Li ◽  
Mi Zhao ◽  
Ding Liu
Keyword(s):  
Petri Nets ◽  
Deadlock Prevention ◽  
Prevention Policy ◽  
Elementary Siphon

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.

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.

Sign in / Sign up

Export Citation Format

Share Document