B. Bérard, F. Cassez, S. Haddad, D. Lime, and O. H. Roux, Comparison of the Expressiveness of Timed Automata and Time Petri Nets, Formal Modeling and Analysis of Timed Systems, pp.211-225, 2005.
DOI : 10.1007/11603009_17

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

B. Berthomieu and M. Menasche, An Enumerative Approach for Analyzing Time Petri Nets, Information processing 83: proceedings of the IFIP 9th World Computer Congress, pp.41-46, 1983.

B. Berthomieu, F. Peres, and F. Vernadat, Bridging the Gap Between Timed Automata and Bounded Time Petri Nets, Formal Modeling and Analysis of Timed Systems (FORMATS'06), Springer LNCS 4202, pp.82-97, 2006.
DOI : 10.1007/11867340_7

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-2756, 2004.
DOI : 10.1137/0216062

B. Berthomieu and F. Vernadat, State Class Constructions for Branching Analysis of Time Petri Nets In Tools and Algorithms for the Construction and Analysis of Systems, pp.442-457, 2003.

B. Berthomieu and F. Vernadat, State Space Abstractions for Time Petri Nets. Handbook of Real-Time and Embedded Systems, 2007.

P. Bourdil, ContributionàContributionà la modélisation et la vérification formelle par model-checking-Symétries pour les Réseaux de Petri Temporels, 2015.

G. Bucci, L. Carnevali, L. Ridi, and E. Vicario, Oris: a tool for modeling, verification and evaluation of real-time systems, International Journal on Software Tools for Technology Transfer, vol.8, issue.6, pp.391-403, 2010.
DOI : 10.1007/s10009-010-0156-8

G. Bucci and E. Vicario, Compositional validation of time-critical systems using communicating time petri nets. Software Engineering, IEEE Transactions on, vol.21, issue.12, pp.969-992, 1995.

G. Chiola, Manual and Automatic Exploitation of Symmetries in SPN Models, Application and Theory of Petri Nets, pp.28-43, 1998.
DOI : 10.1007/3-540-69108-1_3

E. M. Clarke, E. A. Emerson, S. Jha, and A. P. Sistla, Symmetry reductions in model checking, Computer Aided Verification, pp.147-158
DOI : 10.1007/BFb0028741

E. M. Clarke, S. Jha, R. Enders, and T. Filkorn, Exploiting symmetry in temporal logic model checking, Formal Methods in System Design, vol.8, issue.Nos. 4/5, pp.77-104, 1996.
DOI : 10.1007/BF00625969

A. F. Donaldson and A. Miller, On the constructive orbit problem, Annals of Mathematics and Artificial Intelligence, vol.9, issue.2, pp.1-35, 2009.
DOI : 10.1007/978-1-4615-3190-6

G. Gardey, D. Lime, and M. Magnin, Romeo: A Tool for Analyzing Time Petri Nets, Computer Aided Verification, pp.418-423, 2005.
DOI : 10.1007/11513988_41
URL : https://hal.archives-ouvertes.fr/hal-00523596

M. Hack, Petri net languages, 1976.

M. Hendriks, Enhancing uppaal by exploiting symmetry. Nijmegen Institute for Computing and Information Sciences, 2002.

M. Hendriks, G. Behrmann, K. G. Larsen, P. Niebert, and F. W. Vaandrager, Adding Symmetry Reduction to Uppaal, Formal Modeling and Analysis of Timed Systems, pp.46-59, 2003.
DOI : 10.1007/978-3-540-40903-8_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.2104

C. N. Ip and D. L. Dill, Verifying systems with replicated components in mur??, Formal Methods in System Design, vol.14, issue.3, pp.273-310, 1999.
DOI : 10.1007/3-540-61474-5_65
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.2245

T. A. Junttila, New Canonical Representative Marking Algorithms for Place/Transition-Nets, Applications and Theory of Petri Nets. Springer LNCS 3099, 2004.
DOI : 10.1007/978-3-540-27793-4_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.5480

D. Lime, O. H. Roux, C. Seidner, and L. Traonouez, Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches, Tools and Algorithms for the Construction and Analysis of Systems, pp.54-57, 2009.
DOI : 10.1007/11513988_41
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.3046

P. M. Merlin, A Study of the Recoverability of Computing Systems, 1974.

A. Miller, A. Donaldson, and M. Calder, Symmetry in temporal logic model checking, ACM Computing Surveys, vol.38, issue.3, 2006.
DOI : 10.1145/1132960.1132962
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.1406

F. Pommereau, Algebras of coloured Petri nets, 2009.

G. Ramalingam, J. Song, L. Joscovicz, and R. E. Miller, Solving Difference Constraints Incrementally, Algorithmica, vol.23, 1995.
DOI : 10.1007/pl00009261

K. Schmidt, How to calculate symmetries of Petri nets, Acta Informatica, vol.36, issue.7, pp.545-590, 2000.
DOI : 10.1007/s002360050002

K. Schmidt, Integrating Low Level Symmetries into Reachability Analysis. Tools and Algorithms for the Construction and Analysis of Systems, pp.315-330, 2000.
DOI : 10.1007/3-540-46419-0_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.3388

K. Schmidt, . Lola, . Low-level, and . Analyser, In Application and Theory of Petri Nets, pp.465-474, 1825.

A. P. Sistla, V. Gyuris, and E. A. Emerson, SMC: a symmetry-based model checker for verification of safety and liveness properties, ACM Transactions on Software Engineering and Methodology, vol.9, issue.2, pp.133-166, 2000.
DOI : 10.1145/350887.350891

P. H. Starke, Reachability Analysis of Petri Nets using Symmetries. Systems Analysis Modelling Simulation, pp.293-303, 1991.

E. Vicario, Static analysis and dynamic steering of time-dependent systems, IEEE Transactions on Software Engineering, vol.27, issue.8, pp.728-748, 2001.
DOI : 10.1109/32.940727

T. Wahl and A. Donaldson, Replication and Abstraction: Symmetry in Automated Formal Verification, Symmetry, vol.2, issue.2, pp.799-847, 2010.
DOI : 10.3390/sym2020799
URL : http://doi.org/10.3390/sym2020799

F. Wang and K. Schmidt, Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures, Formal Techniques for Networked and Distributed Systems, pp.50-64, 2002.
DOI : 10.1007/3-540-36135-9_4