A TCPN model and deadlock avoidance for FMS jobshop scheduling and control system

Scheduling and control system of a FMS is complex because of the flexible production environment, dynamic changes of the system and orders, and dynamic decision requirement. Therefore a model that can handle such complicated system is necessary. In this article, a generic model for FMS jobshop scheduling and control system based on timed coloured Petri nets (TCPN) is proposed. A feedback structure to ensure that the TCPN model is deadlock free is designed. Based on the model, deadlock can be avoided regardless of what scheduling rules are used.

[1]  O. V. Krishnaiah Chetty,et al.  Priority nets for scheduling flexible manufacturing systems , 1993 .

[2]  Y. L. Chen,et al.  A Petri-net based hierarchical structure for dynamic scheduler of an FMS: rescheduling and deadlock avoidance , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[3]  Mohsen A. Jafari,et al.  An architecture for a shop-floor controller using colored Petri nets , 1992 .

[4]  Y. Narahari,et al.  Coloured Petri net models for automated manufacturing systems , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[5]  Antonio Camurri,et al.  Petri net based process scheduling: A model of the control system of flexible manufacturing systems , 1993, J. Intell. Robotic Syst..

[6]  Frank DiCesare,et al.  Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..

[7]  Shi-Chung Chang,et al.  Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..

[8]  Wil M. P. van der Aalst.  Interval Timed Coloured Petri Nets and their Analysis , 1993, Application and Theory of Petri Nets.

[9]  Alok R. Chaturvedi.  FMS scheduling and control: Learning to achieve multiple goals , 1993 .

[10]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..

[11]  Sanjay B. Joshi,et al.  Deadlock avoidance in automated manufacturing workstations-a scheduling approach , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[12]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..