摘要 |
PURPOSE: To provide a process management rule design device capable of efficiently evading a deadlock in a short time without searching all the states which a system can take. CONSTITUTION: By a deadlock searching device 11 for paying attention to shared resources, searching the deadlock and setting the state of a model to be the deadlock on a Petri net model in which a production line system is described, a reverse time state shifter 12 for reversing the direction of the arc of the model, igniting an ignitable transition and turning the state of the system back to the state timewisely one step before and a deadlock judgment device 13 for searching the ignitable transition other than the transition for getting the system to the deadlock after turning the direction of the arc back to the original state, actuating the reverse time state shifter 12 again when the transition is not present and turning the system back to the state one step before further, process management rules capable of evading the deadlock are prepared. |