Abstract
To solve the problem of deadlock prevention for flexible manufacturing systems (FMS), an effective approach based on the State Class Graph (SCG) is proposed in a framework of time Petri nets (TPN). The first step determines the SCG of TPN. In the second step, since the SCG and discrete state graph (DSG) of a TPN have the same markings and obey the same linear temporal logic (LTL) properties, deadlock-freedom can be obtained by performing the required marking/transition separations. The theory of regions is used to design control places added to the original TPN model to realize the desired behavior. A parameterized example is used to show the performance of the proposed approach.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
