E. Badouel, L. Bernardinello, and P. Darondeau, Polynomial algorithms for the synthesis of bounded nets, In Lecture Notes in Computer Science, vol.915, pp.647-679, 1995.
DOI : 10.1007/3-540-59293-8_207

URL : https://hal.archives-ouvertes.fr/inria-00074358

M. P. Cabasino, P. Darondeau, M. P. Fanti, and C. Seatzu, Model Identification and Synthesis of Discrete-Event Systems, Contemporary Issues in System Science and Engineering, pp.1-22, 2014.
DOI : 10.1002/9781119036821.ch10

M. P. Cabasino, A. Giua, C. N. Hadjicostis, and C. Seatzu, Fault model identification and synthesis in Petri nets, Discrete Event Dynamic Systems, pp.1-22, 2014.
DOI : 10.1007/s10626-014-0190-x

URL : https://hal.archives-ouvertes.fr/hal-01479640

M. P. Cabasino, A. Giua, and C. Seatzu, Identification of Petri Nets from Knowledge of Their Language, Discrete Event Dynamic Systems, pp.447-474, 2007.
DOI : 10.1007/s10626-007-0025-0

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

A. Estrada-vargas, J. Lesage, and E. Lopez-mellado, Identification of industrial automation systems: Building compact and expressive Petri Net models from observable behavior, 2012 American Control Conference (ACC), pp.6095-6101, 2012.
DOI : 10.1109/ACC.2012.6315237

URL : https://hal.archives-ouvertes.fr/hal-00716235

A. Estrada-vargas, J. Lesage, and E. Lopez-mellado, Identification of partially observable discrete event manufacturing systems, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), pp.1-7, 2013.
DOI : 10.1109/ETFA.2013.6648052

URL : https://hal.archives-ouvertes.fr/hal-00954548

A. Giua and C. Seatzu, Identification of free-labeled Petri nets via integer programming, Proceedings of the 44th IEEE Conference on Decision and Control, pp.7639-7644, 2005.
DOI : 10.1109/CDC.2005.1583395

A. Mazurkiewicz, Introduction to Trace Theory, The Book of Traces, pp.3-41, 1995.
DOI : 10.1142/9789814261456_0001

T. Tapia-flores, E. Lopez-mellado, A. Estrada-vargas, and J. Lesage, Petri net discovery of discrete event processes by computing t-invariants, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), pp.1-8, 2014.
DOI : 10.1109/ETFA.2014.7005080

URL : https://hal.archives-ouvertes.fr/hal-01067790

W. Van-der-aalst, Do petri nets provide the right representational bias for process mining?, Proc. of the Workshop Applications of Region Theory, pp.85-94, 2011.

W. Van-der-aalst, A. Weijters, and L. Maruster, Workflow mining: discovering process models from event logs, IEEE Transactions on Knowledge and Data Engineering, vol.16, issue.9, pp.1128-1142, 2004.
DOI : 10.1109/TKDE.2004.47

B. F. Van-dongen, A. K. Alves-de-medeiros, and L. Wen, Process Mining: Overview and Outlook of Petri??Net Discovery Algorithms, Transactions on Petri Nets and Other Models of Concurrency -ToPNoC II, pp.225-242, 2009.
DOI : 10.1007/978-3-540-72524-4_38

L. Wen, W. Van-der-aalst, J. Wang, and J. Sun, Mining process models with non-free-choice constructs, Data Mining and Knowledge Discovery, vol.10, issue.2, pp.145-180, 2007.
DOI : 10.1007/s10618-007-0065-y