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
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. ,
Analyse du comportement périodique de systèmes de production par la théorie des dio¨?desdio¨?des, 1983. ,
Applications of Petri nets in manufacturing systems: modelling, control and performance analysis, 1995. ,
Practise of Petri nets in manufacturing, 1993. ,
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 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
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
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. ,
Simulation based performance analysis in Design/CPN. Workshop on Practical Use of Coloured Petri nets and Design (CPN'98), pp.117-130, 1998. ,
Discrete-time control systems, 1987. ,