B. Berthomieu, F. Peres, and F. Vernadat, Model Checking Bounded Prioritized Time Petri Nets, Automated Technology for Verification and Analysis, pp.523-532, 2007.
DOI : 10.1007/978-3-540-75596-8_37

B. Berthomieu and F. Vernadat, Traité IC2 " Systèmes temps réel 1 ? Techniques de description et de vérification, Nicolas Navet, 2006.

G. Carrault, M. Cordier, R. Quiniou, M. Garreau, J. Bellanger et al., A Model-Based Approach for Learning to Identify Cardiac Arrhythmias, Lecture Note on Artificial Intelligence, vol.1620, pp.165-174, 1999.
DOI : 10.1007/3-540-48720-4_18

R. Dechter, I. Meiri, and J. Pearl, Temporal constraint networks, Artificial Intelligence, vol.49, issue.1-3, pp.61-95, 1991.
DOI : 10.1016/0004-3702(91)90006-6

C. Dousson, Extending and unifying chronicle representation with event counters, Proc. of the 15 th ECAI, pp.257-261, 2002.

C. Dousson, T. Vu, and . Duong, Discovering chronicles with numerical time constraints from alarm logs for monitoring dynamic systems, IJCAI 99: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, pp.620-626, 1999.

C. Dousson, P. Gaborit, and M. Ghallab, Situation recognition: representation and algorithms, IJCAI: International Joint Conference on Artificial Intelligence, pp.166-172, 1993.

H. E. Gougam, A. Subias, and Y. Pencolé, Timed Diagnosability Analysis Based on Chronicles, 8th Safeprocess, pp.1256-1261, 2012.
DOI : 10.3182/20120829-3-MX-2028.00169

B. Guerraz and C. Dousson, Chronicles construction starting from the fault model of the system to diagnose, International Workshop on Principles of Diagnosis (DX04), pp.51-56, 2004.

E. Mayer, Inductive learning of chronicles, European Conference on Artificial Intelligence, pp.471-472, 1998.

Y. Pencolé and A. Subias, A chronicle-based diagnosability approach for discrete timed-event systems: Application to web-services, Journal of Universal Computer Science, vol.15, issue.17, pp.3246-3272, 2009.

R. Saddem, A. Toguyeni, and T. Moncef, Consistency's checking of chronicles' set using Time Petri Nets, 18th Mediterranean Conference on Control and Automation, MED'10, pp.1520-1525, 2010.
DOI : 10.1109/MED.2010.5547834

A. Subias, L. Travé-massuyès, and E. L. Corronc, Learning chronicles signing multiple scenario instances, 25th international workshop of diagnosis (DX14), 2014.
DOI : 10.3182/20140824-6-ZA-1003.02579
URL : https://hal.archives-ouvertes.fr/hal-01162866

A. Vautier, M. Cordier, and R. Quiniou, Extension des bases de données inductives pour la découverte de chroniques avec contraintes temporelles, 2005.