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

Abstract:

Article Preview

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.

Info:

Periodical:

Advanced Materials Research (Volumes 284-286)

Main Theme:

Edited by:

Xiaoming Sang, Pengcheng Wang, Liqun Ai, Yungang Li and Jinglong Bu

Pages:

1498-1501

DOI:

10.4028/www.scientific.net/AMR.284-286.1498

Citation:

Y. S. Huang and T. C. Row, "A Channelized Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models", Advanced Materials Research, Vols. 284-286, pp. 1498-1501, 2011

Online since:

July 2011

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.