Optimal Supervisory Control of Automated Manufacturing Systems
暂无分享,去创建一个
[1] E. Pastor,et al. Symbolic Analysis of Bounded Petri Nets , 2001, IEEE Trans. Computers.
[2] Roberto Cordone,et al. Selective Siphon Control for Deadlock Prevention in Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[3] Arie Shoshani,et al. System Deadlocks , 1971, CSUR.
[4] Murat Uzam,et al. The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems , 2004 .
[5] MuDer Jeng,et al. A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions , 2008, IEEE Transactions on Automation Science and Engineering.
[6] Jordi Cortadella,et al. Petri Net Analysis Using Boolean Manipulation , 1994, Application and Theory of Petri Nets.
[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] MengChu Zhou,et al. Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2006, IEEE Transactions on Industrial Informatics.
[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] Randal E. Bryant,et al. Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.
[11] Kurt Lautenbach,et al. Liveness in Bounded Petri Nets Which Are Covered by T-Invariants , 1994, Application and Theory of Petri Nets.
[12] MengChu Zhou,et al. Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[13] Ronald L. Rivest,et al. Introduction to Algorithms , 1990 .
[14] MengChu Zhou,et al. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems , 2006 .