M. Barad, Timed Petri nets as a verification tool, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274), pp.547-554, 1998.
DOI : 10.1109/WSC.1998.745033

S. Christensen, J. Jørgensen, and L. Kristensen, Design/CPN ? A computer tool for coloured Petri nets. 3rd International Workshop on Tools and Algorithms for Construction and Analysis of Systems, pp.209-223, 1997.

G. Cohen, G. Dubois, J. Quadrat, and M. Viot, Analyse du comportement périodique de systèmes de production par la théorie des dio¨?desdio¨?des, 1983.

A. Desrochers and R. Jaar, Applications of Petri nets in manufacturing systems: modelling, control and performance analysis, 1995.

F. Dicesare, G. Harhalakis, J. Proth, M. Silva, and F. Vernadat, Practise of Petri nets in manufacturing, 1993.

D. Dilts, N. Boyd, and H. Whorms, The evolution of control architectures for automated manufacturing systems, Journal of Manufacturing Systems, vol.10, issue.1, pp.79-93, 1991.
DOI : 10.1016/0278-6125(91)90049-8

A. Grieco, Q. Semeraro, and T. Tolio, A review of different approaches to the FMS loading problem, International Journal of Flexible Manufacturing Systems, vol.13, issue.4, pp.361-364, 2001.
DOI : 10.1023/A:1012290630540

A. Jones, E. Barkmeyer, D. , and W. , Issues in the design and implementation of a system architecture for computer integrated manufacturing, International Journal of Computer Integrated Manufacturing, vol.19, issue.2, pp.65-76, 1989.
DOI : 10.1016/0278-6125(86)90064-6

G. Juanole, S. Abdellatif, and L. Gallon, Nouveaux concepts sur les transitions du modèle RdPTS, Propriétés dynamiques et attributs temporels dynamiques . 1` ere Conférence Internationale Francophone d'Automatique (CIFA'2000), pp.976-981, 2000.

B. Linstrøm and L. Wells, Simulation based performance analysis in Design/CPN. Workshop on Practical Use of Coloured Petri nets and Design (CPN'98), pp.117-130, 1998.

K. Ogata, Discrete-time control systems, 1987.