Coloured Petri net models for automated manufacturing systems

In this paper, we propose an approach, using Coloured Petri Nets (CPN) for modelling flexible manufacturing systems. We illustrate our methodology for a Flexible Manufacturing Cell (FMC) with three machines and three robots. We also consider the analysis of the FMC for deadlocks using the invariant analysis of CPNs.

[1]  P. Ladet,et al.  Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing system , 1985, European Workshop on Applications and Theory in Petri Nets.

[2]  Jeffrey P. Buzen,et al.  Computational algorithms for closed queueing networks with exponential servers , 1973, Commun. ACM.

[3]  J. A. Buzacott,et al.  Models for Understanding Flexible Manufacturing Systems , 1980 .

[4]  B. Krogh,et al.  Models for simulation and discrete control of manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[5]  Rajan Suri,et al.  Modelling flexible manufacturing systems using mean-value analysis , 1984 .

[6]  Andrew Kusiak,et al.  Flexible manufacturing systems : methods and studies , 1986 .

[7]  Robert Valette,et al.  PSI: A Petri net based simulator for flexible manufacturing systems , 1984, European Workshop on Applications and Theory in Petri Nets.

[8]  Yadati Narahari,et al.  A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .

[9]  Didier Dubois,et al.  Using Petri nets to represent production processes , 1983, The 22nd IEEE Conference on Decision and Control.

[10]  B. J. Davies,et al.  Simulation of a Flexible Manufacturing System , 1985 .

[11]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[12]  J. A. Buzacott.  Modelling manufacturing systems , 1985 .

[13]  Manjunath Kamath,et al.  Applications of petri net based models in the modelling and analysis of flexible manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[14]  Y. Narahari,et al.  On the invariants of coloured Petri nets , 1985, Applications and Theory in Petri Nets.