Coloured Petri net models for automated manufacturing systems
- 23 March 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 4, 1985-1990
- https://doi.org/10.1109/robot.1987.1087778
Abstract
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.Keywords
This publication has 9 references indexed in Scilit:
- Applications of petri net based models in the modelling and analysis of flexible manufacturing systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- Models for simulation and discrete control of manufacturing systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- Modelling manufacturing systemsRobotics and Computer-Integrated Manufacturing, 1985
- A Petri net approach to the modelling and analysis of flexible manufacturing systemsAnnals of Operations Research, 1985
- Modelling flexible manufacturing systems using mean-value analysisJournal of Manufacturing Systems, 1984
- Using Petri nets to represent production processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- Models for Understanding Flexible Manufacturing SystemsA I I E Transactions, 1980
- Computational algorithms for closed queueing networks with exponential serversCommunications of the ACM, 1973