D. Angluin, Learning regular sets from queries and counterexamples, Information and Computation, vol.75, issue.2, 1987.
DOI : 10.1016/0890-5401(87)90052-6
URL : https://doi.org/10.1016/0890-5401(87)90052-6

M. Dotoli, M. P. Fanti, A. M. Mangini, and W. Ukovich, Identification of the unobservable behaviour of industrial automation systems by Petri nets, Control Engineering Practice, vol.19, issue.9, pp.958-966, 2011.
DOI : 10.1016/j.conengprac.2010.09.004

A. P. Estrada-vargas, E. Lpez-mellado, and J. J. Lesage, A Black-Box Identification Method for Automated Discrete-Event Systems, IEEE Transactions on Automation Science and Engineering, vol.14, issue.3, pp.1321-1336, 2015.
DOI : 10.1109/TASE.2015.2445332
URL : https://hal.archives-ouvertes.fr/hal-01269980

A. P. Estrada-vargas, E. López-mellado, and J. J. Lesage, A Comparative Analysis of Recent Identification Approaches for Discrete-Event Systems, Mathematical Problems in Engineering, vol.27, issue.2, pp.1-21, 2010.
DOI : 10.1016/0020-0190(88)90208-6
URL : https://hal.archives-ouvertes.fr/hal-00522714

A. Giua and C. Seatzu, Identification of freelabeled Petri nets via integer programming, Proceedings of the 44th IEEE Conference on Decision and Control, pp.7639-7644, 2005.

E. M. Gold, Language identification in the limit, Information and Control, vol.10, issue.5, pp.447-474, 1967.
DOI : 10.1016/S0019-9958(67)91165-5

M. Meda-campaña and E. López-mellado, Identification of concurrent discrete event systems using Petri nets, Proceedings of the 17th IMACS World Congress on Computational and Applied Mathematics, pp.11-15, 2005.

M. Minas and G. Frey, Visual PLC-programming using signal interpreted Petri nets, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301), pp.5019-5024, 2002.
DOI : 10.1109/ACC.2002.1025461
URL : http://www2.informatik.uni-erlangen.de/download/Papers/ACC2002.pdf

J. Provost, J. M. Roussel, and J. M. Faure, A formal semantics for Grafcet specifications, 2011 IEEE International Conference on Automation Science and Engineering, pp.488-494, 2011.
DOI : 10.1109/CASE.2011.6042457
URL : https://hal.archives-ouvertes.fr/hal-00603189

M. Roth, J. J. Lesage, and L. Litz, Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems, Proceedings of the 2010 American Control Conference, pp.2601-2606, 2010.
DOI : 10.1109/ACC.2010.5530540
URL : https://hal.archives-ouvertes.fr/hal-00525588

J. Saives, G. Faraut, and J. J. Lesage, Identification of discrete event systems unobservable behaviour by petri nets using language projections, 2015 European Control Conference (ECC), pp.464-471, 2015.
DOI : 10.1109/ECC.2015.7330587
URL : https://hal.archives-ouvertes.fr/hal-01180594

S. Schneider, L. Litz, and J. J. Lesage, Determination of timed transitions in identified discrete-event models for fault detection, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), pp.5816-5821, 2012.
DOI : 10.1109/CDC.2012.6426695
URL : https://hal.archives-ouvertes.fr/hal-00823582