Deadlock prevention policy based on elementary siphons for flexible manufacturing systems
暂无分享,去创建一个
Zhiwu Li | Hesuan Hu | Mingming Yan | Zhiwu Li | Hesuan Hu | Mingming Yan
[1] Mark Lawley,et al. Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems , 1997, IEEE Trans. Autom. Control..
[2] MengChu Zhou,et al. Clarifications on the Definitions of Elementary Siphons in Petri Nets , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[3] Panos J. Antsaklis,et al. Supervision Based on Place Invariants: A Survey , 2006, Discret. Event Dyn. Syst..
[4] Javier Martínez,et al. A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..
[5] Spyros A. Reveliotis. Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[6] Spyros A. Reveliotis,et al. Deadlock avoidance policies for automated manufacturing cells , 1996, IEEE Trans. Robotics Autom..
[7] MengChu Zhou,et al. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.
[8] Spyros Reveliotis,et al. FMS structural control and the Neighborhood policy, Part 1: correctness and scalability , 1997 .
[9] Murat Uzam,et al. An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions , 2002 .
[10] Alessandro Giua,et al. Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.
[11] Jonghun Park,et al. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems , 2000, IEEE Trans. Robotics Autom..
[12] Spyros A. Reveliotis,et al. A correct and scalable deadlock avoidance policy for flexible manufacturing systems , 1998, IEEE Trans. Robotics Autom..
[13] MuDer Jeng,et al. Process nets with resources for manufacturing modeling and their analysis , 2002, IEEE Trans. Robotics Autom..
[14] Kamel Barkaoui,et al. On Liveness and Controlled Siphons in Petri Nets , 1996, Application and Theory of Petri Nets.
[15] Hoda A. ElMaraghy,et al. Deadlock prevention and avoidance in FMS: A Petri net based approach , 1998 .
[16] Haoxun Chen,et al. Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources , 1996 .
[17] Wolfgang Reisig,et al. Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.