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

Abstract:

Article Preview

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).

Info:

Periodical:

Advanced Materials Research (Volumes 317-319)

Edited by:

Xin Chen

Pages:

552-555

DOI:

10.4028/www.scientific.net/AMR.317-319.552

Citation:

Y. S. Huang and T. C. Row, "Petri Net Channelized-Based Deadlock Prevention Policy for Flexible Manufacturing Systems", Advanced Materials Research, Vols. 317-319, pp. 552-555, 2011

Online since:

August 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.