[1] B. Berthomieu, M. Menasche, An Enumerative Approach for Analyzing Time Petri Nets, IFIP Congress 1983, Paris, 1983.
[2] B. Berthomieu, M. Diaz, Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering, 17(3), 1991.
[3] B. Berthomieu, La méthode des Classes d'états pour l'Analyse des Réseaux Temporels - Mise en Oeuvre, Extension à la multi-sensibilisation, Modélisation des Systèmes Réactifs, MSR'2001, Hermes, 2001.
[4] T. Yoneda, H. Ryuba, CTL Model Checking of Time Petri Nets using Geometric Regions, IEICE Transactions on Inf. and Syst., vol E99-D, No 3, March 1998.
[5] B. Berthomieu, F. Vernadat, State class constructions for branching analysis of Time Petri nets. 9th International Conference TACAS 2003, Warsaw, Poland, Springer Verlag LNCS 2619, 2003.
[6] F. Vernadat, P. Azéma, F. Michel, Covering Step Graph, 17th Int. Conf. on Application and Theory of Petri Nets 96, Osaka, Japan, Springer Verlag LNCS 1091, 1996.
[7] F. Vernadat, F. Michel, Covering Step Graph Preserving Failure Semantics, 18th Int. Conf on Application and Theory of Petri Nets 97, Toulouse, France, Springer-Verlag - LNCS 1248, 1997.
[8] P-O. Ribet, F. Vernadat, B. Berthomieu, On Combining the Persistent Sets Method with the Covering Steps Graph Method, LAAS Report 02388, November 2002. (to appear at FORTE'02)
[9] B. Berthomieu, Réseaux de Petri temporels, École d´été Temps Réel (ETR 2003), Toulouse, Septembre 2003.
[10] B. Berthomieu, P-O. Ribet, F. Vernadat, L'outil TINA -- Construction d'espaces d'états abstraits pour les réseaux de Petri et réseaux temporels, Modélisation des Systèmes Réactifs, MSR'2003, Hermes, 2003.
Bernard's Home Page