G. Von-bochmann and G. Jourdan, Testing k-Safe Petri Nets, LNCS, vol.17, issue.6, pp.33-48, 2009.
DOI : 10.1109/32.87284

T. Jéron, ContributionàContribution`Contributionà la génération automatique de tests pour les systèmes réactifs, Habilitationàbilitation`bilitationà diriger des recherches, 2004.

D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, pp.1090-1123, 1996.
DOI : 10.1109/5.533956

S. Naito and M. Tsunoyama, Fault Detection for Sequential Machines by Transitions Tours, Proceedings of the IEEE Fault Tolerant Computer Symposium, pp.238-243, 1981.

J. Provost, J. Roussel, and J. Faure, Test sequence construction from SFC specification*, Proceedings of DCDS 2009, pp.341-346, 2009.
DOI : 10.3182/20090610-3-IT-4004.00056
URL : https://hal.archives-ouvertes.fr/hal-00394454

J. Provost, J. Roussel, and J. Faure, SIC-testability of sequential logic controllers, Proceedings of WODES 2010, pp.203-208, 2010.
DOI : 10.3182/20100830-3-DE-4013.00033
URL : https://hal.archives-ouvertes.fr/hal-00512767

J. Provost, J. Roussel, and J. Faure, Translating Grafcet specifications into Mealy machines for conformance test purposes, Control Engineering Practice, vol.19, issue.9
DOI : 10.1016/j.conengprac.2010.10.001
URL : https://hal.archives-ouvertes.fr/hal-00547891

S. Da, A. Simão, A. Petrenko, and N. Yevtushenko, Generating Reduced Tests for FSMs with Extra States, LNCS, vol.5826, pp.129-145, 2009.

J. Tretmans, Model Based Testing with Labelled Transition Systems, LNCS, vol.4949, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1