An Performance Evaluation of the Deadlock Detection Algorithm in Petri Nets
暂无分享,去创建一个
[1] Feng Chu,et al. Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..
[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] Yi-Sheng Huang. Design of deadlock prevention supervisors using Petri nets , 2007 .
[5] 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).
[6] MengChu Zhou,et al. Deadlock control of concurrent manufacturing processes sharing finite resources , 2008 .
[7] James C. Corbett,et al. Evaluating Deadlock Detection Methods for Concurrent Software , 1996, IEEE Trans. Software Eng..
[8] 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.