Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems
暂无分享,去创建一个
[1] Maria Pia Fanti,et al. Design of Supervisors to Avoid Deadlock in Flexible Assembly Systems , 2002 .
[2] Javier Martínez,et al. A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..
[3] F. L. Lewis,et al. Matrix approach to deadlock avoidance of dispatching in multi-class finite buffer reentrant flow lines , 1997, Proceedings of 12th IEEE International Symposium on Intelligent Control.
[4] MengChu Zhou,et al. Introduction to Petri Nets in Flexible and Agile Automation , 1995 .
[5] Tadao Murata,et al. An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis , 1996, IEEE Trans. Parallel Distributed Syst..
[6] 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.
[7] H. Murakoshi,et al. Petri net controller with hardware to avoid deadlocks , 1996, Proceedings of the 1996 IEEE IECON. 22nd International Conference on Industrial Electronics, Control, and Instrumentation.
[8] Haoxun Chen,et al. Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources , 1996 .
[9] H.-H. Huang,et al. Matrix Controller Design and Deadlock Analysis of Automated Manufacturing Systems. Part 2: Deadlock Avoidance Policy , 2001 .
[10] Naiqi Wu,et al. Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model , 1999, IEEE Trans. Syst. Man Cybern. Part C.
[11] Hendrik Van Brussel,et al. Deadlock avoidance in flexible flow shops with loops , 2001, J. Intell. Manuf..
[12] K. Barkaoui,et al. An efficient deadlock avoidance control policy in FMS using structural analysis of Petri nets , 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.
[13] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[14] MengChu Zhou,et al. Modeling and performance analysis of a resource-sharing manufacturing system using stochastic Petri nets , 1990, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990.
[15] MengChu Zhou,et al. Resource-oriented Petri nets for deadlock avoidance in automated manufacturing , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).
[16] Yadati Narahari,et al. Performance analysis of automated manufacturing systems with blocking and deadlock , 1990, [1990] Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing.
[17] 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 .
[18] Bruce H. Krogh,et al. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..
[19] Shi-Chung Chang,et al. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..
[20] Maria Pia Fanti,et al. Comparing digraph and Petri net approaches to deadlock avoidance in FMS , 2000, IEEE Trans. Syst. Man Cybern. Part B.
[21] Frank L. Lewis,et al. Analysis of Deadlock and Circular Waits Using a Matrix Model for Flexible Manufacturing Systems , 1998, Autom..
[22] Luigi Piroddi,et al. A comparative performance analysis of deadlock avoidance control algorithms for FMS , 1999, J. Intell. Manuf..
[23] Hoda A. ElMaraghy,et al. Deadlock prevention and avoidance in FMS: A Petri net based approach , 1998 .
[24] Spyros Reveliotis,et al. Deadlock Avoidance for Sequential Resource Allocation Systems: Hard and Easy Cases , 2001 .