1. Discrete event simulation by timed coloured Petri nets;Alla,1987
2. Reseaux de Petri Colores et Reseaux de Petri Continus, Application à I’étude des systèmes à événements discrets;Alla,1987
3. Hybrid Petri nets;Alla,1991
4. Reseaux de Petri, Theorie et Pratique;Brams,1983
5. Fundamentals of bond- graphs;Breedveld,1989