EFFICIENT DEADLOCK DETECTION POLICY BASED ON THE RESOURCE SHARE PLACES IN PETRI NETS
暂无分享,去创建一个
[1] James C. Corbett,et al. Evaluating Deadlock Detection Methods for Concurrent Software , 1996, IEEE Trans. Software Eng..
[2] Javier Martínez,et al. A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..
[3] Takashi Sekiguchi,et al. A research on Petri net properties using transitive matrix , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).
[4] MengChu Zhou,et al. Deadlock-free scheduling of an automated manufacturing system based on Petri nets , 1997, Proceedings of International Conference on Robotics and Automation.
[5] 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.
[6] Doo Yong Lee. Deadlock-Free Scheduling for Automated Manufacturing Cells , 2000 .
[7] Xiaolan Xie,et al. Petri nets and deadlock-free scheduling of multiple-resource operations , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).
[8] MuDer Jeng,et al. Synthesis using resource control nets for modeling shared-resource systems , 1995, IEEE Trans. Robotics Autom..
[9] Han Zandong,et al. Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems , 2005 .
[10] MengChu Zhou,et al. An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[11] Jörg Desel,et al. Free choice Petri nets , 1995 .
[12] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[13] Mi Zhao,et al. On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[14] Peter Radford,et al. Petri Net Theory and the Modeling of Systems , 1982 .
[15] Ouajdi Korbaa,et al. Scheduling analysis of FMS: An unfolding timed Petri nets approach , 2006, Math. Comput. Simul..
[16] Alessandro Giua,et al. Observer-based state-feedback control of timed Petri nets with deadlock recovery , 2004, IEEE Transactions on Automatic Control.
[17] H. S. Hu,et al. Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).