151. A deadlock prevention approach using elementary siphons for a class of petri nets
- Author
-
XiangFeng Zhang and Zhiwu Li
- Subjects
Controllability ,Class (computer programming) ,Theoretical computer science ,Computer science ,Control theory ,Liveness ,Siphon ,Petri net ,Deadlock ,Deadlock prevention algorithms - Abstract
In this paper, we deal with the deadlock prevention problem in a new class of nets, ES/sup 3/PR, where deadlocks are related to unmarked siphons. The major disadvantage of the existing approaches is that too many monitors and arcs have to be added. In our deadlock prevention approach, strict minimal siphons are divided into elementary and dependent ones. For each elementary siphon, a monitor is added to prevent it from being emptied without generating emptiable control-induced siphons. The controllability of the dependent siphons is ensured by changing the control depth variables of related elementary siphons, which leads to the liveness of the supervisor for the plant model. Finally, the application of the approach is illustrated with an FMS example.
- Published
- 2005
- Full Text
- View/download PDF