1. Modélisation par réseaux de Petri hybrides et evaluation de performances de systèmes de production par lots;Alla;Rapport final de contrat MRT,1992
2. On Petri nets with stochastic timing;Ajmone Marsan,1985
3. Petri nets theory for correctness of protocols;Berthelot;IEEE Trans. Commun.,1982
4. Réseaux de Petri: théorie et pratique;Brams,1983
5. Timed continuous Petri nets: a tool for analysis and simulation of discrete event systems;Brinkman,1990