A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, and C. Jard, Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets, pp.203-231, 1998.

T. Aura and J. Lilius, Time processes for time Petri nets, ICATPN'97, pp.136-155, 1997.
DOI : 10.1007/3-540-63139-9_34

B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991.
DOI : 10.1109/32.75415

T. Chatain and C. Jard, Symbolic Diagnosis of Partially Observable Concurrent Systems, LNCS, vol.3235, pp.326-342, 2004.
DOI : 10.1007/978-3-540-30232-2_21

T. Chatain and C. Jard, Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets, FORMATS'05, pp.196-210, 2005.
DOI : 10.1007/11603009_16
URL : https://hal.archives-ouvertes.fr/inria-00000342

T. Chatain and C. Jard, Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets, ICATPN'06, pp.125-145, 2006.
DOI : 10.1007/11767589_8

J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev, Synthesizing Petri nets from state-based models, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD), pp.164-171, 1995.
DOI : 10.1109/ICCAD.1995.480008

A. D. Ariano, D. Pacciarelli, and M. Pranzo, A branch and bound algorithm for scheduling trains in a railway network, European Journal of Operational Research, vol.183, issue.2, pp.643-657, 2007.

A. D. Ariano, M. Pranzo, and I. A. Hansen, Conflict Resolution and Train Speed Coordination for Solving Real-Time Timetable Perturbations, IEEE Transactions on Intelligent Transportation Systems, vol.8, issue.2, pp.208-222, 2007.
DOI : 10.1109/TITS.2006.888605

C. Dousson, Extending and unifying chronicle representation with event counters, ECAI'02, pp.257-261, 2002.

L. Doyen, G. Geeraerts, J. F. Raskin, and J. Reichert, Realizability of Real-Time Logics, FORMATS'09, pp.133-148, 2009.
DOI : 10.1007/3-540-59042-0_76

J. Esparza, S. Römer, and W. Vogler, An improvement of McMillan's unfolding algorithm. Formal Methods in System Design, pp.285-310, 2002.

A. Horváth, M. Paolieri, L. Ridi, and E. Vicario, Transient analysis of non-Markovian models using stochastic state classes, Performance Evaluation, vol.69, issue.7-8, pp.315-335, 2012.
DOI : 10.1016/j.peva.2011.11.002

M. Krichen and S. Tripakis, Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, pp.238-304, 2009.
DOI : 10.1007/s10703-009-0065-1

D. Lime and O. H. Roux, Model Checking of Time Petri Nets Using the State Class Timed Automaton, Discrete Event Dynamic Systems, vol.1, issue.1???2, pp.179-205, 2006.
DOI : 10.1007/s10626-006-8133-9
URL : https://hal.archives-ouvertes.fr/hal-00488957

K. L. Mcmillan, A technique of state space search based on unfolding, Formal Methods in System Design, vol.22, issue.12, pp.45-65, 1995.
DOI : 10.1007/BF01384314

R. Y. Rubinstein and D. P. Kroese, Simulation and the Monte Carlo Method, 2008.

A. L. Semenov and A. Yakovlev, Verification of asynchronous circuits using time Petri net unfolding, DAC, pp.59-62, 1996.