M. Aldinucci, S. Bagnasco, S. Lusso, P. Pasteris, S. Vallero et al., The Open Computing Cluster for Advanced data Manipulation (OCCAM), Int. Conf. on Computing in High Energy and Nuclear Physics, p.22, 2016.

F. A. Aloul, I. L. Markov, and K. A. Sakallah, FORCE: a fast and easy-to-implement variableordering heuristic, ACM Great Lakes Symposium on VLSI, pp.116-119, 2003.

E. G. Amparore, A new GreatSPN GUI for GSPN editing and CSLTA model checking, Int. Conf. on Quantitative Evaluation of Systems, pp.170-173, 2014.

E. G. Amparore, M. Beccuti, and S. Donatelli, Gradient-based variable ordering of decision diagrams for systems with structural units, 15th Int. Symp. on Automated Technology for Verification and Analysis (ATVA), vol.10482, pp.184-200, 2017.

E. G. Amparore, S. Donatelli, M. Beccuti, G. Garbi, and A. Miner, Decision diagrams for Petri nets: which variable ordering? In: Petri Net Performance Engineering conference (PNSE), pp.31-50, 2017.

G. Berthelot, Transformations and decompositions of nets, Advanced Course on Petri Nets, pp.359-376, 1986.

B. Berthomieu, P. O. 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.42, issue.14, pp.2741-2756, 2004.

V. Bloemen and J. Van-de-pol, Multi-core SCC-based LTL model checking, Hardware and Software: Verification and Testing-12th International Haifa Verification Conference, HVC. pp, pp.18-33, 2016.

J. Couvreur and Y. Thierry-mieg, Hierarchical decision diagrams to exploit model structure, In: FORTE. Lecture Notes in Computer Science, vol.3731, pp.443-457, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01488360

A. David, L. Jacobsen, M. Jacobsen, K. Jørgensen, M. Møller et al., TAPAAL 2.0: Integrated development environment for timed-arc Petri nets, 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12)

, LNCS, vol.7214, pp.492-497, 2012.

T. Van-dijk and J. Van-de-pol, Sylvan: Multi-core decision diagrams, Tools and Algorithms for the Construction and Analysis of Systems-21st International Conference, TACAS, pp.677-691, 2015.

A. Duret-lutz, K. Klai, D. Poitrenaud, and Y. Thierry-mieg, Self-loop aggregation product-A new hybrid approach to on-the-fly LTL model checking, ATVA. Lecture Notes in Computer Science, vol.6996, pp.336-350, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01288132

A. Duret-lutz, A. Lewkowicz, A. Fauchille, T. Michaud, E. Renault et al., Spot 2.0-A framework for LTL and \omega-automata manipulation, In: ATVA. LNCS, vol.9938, pp.122-129, 2016.

H. Evrard, DLC: compiling a concurrent system formal specification to a distributed implementation, Tools and Algorithms for the Construction and Analysis of Systems-22nd International Conference, vol.9636, pp.553-559, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01250925

H. Evrard and F. Lang, Formal verification of distributed branching multiway synchronization protocols, Formal Techniques for Distributed SystemsJoint IFIP WG 6.1 International Conference, FMOODS/FORTE, vol.7892, pp.146-160, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00818788

H. Evrard and F. Lang, Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous, Journal of Logical and Algebraic Methods in Programming, vol.88, pp.121-153, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01412911

H. Garavel, Nested-Unit Petri Nets: A structural means to increase efficiency and scalability of verification on elementary nets, International Conference on Application and Theory of Petri Nets and Concurrency, vol.9115, pp.179-199, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01142198

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A toolbox for the construction and analysis of distributed processes, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.15, issue.2, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel, F. Lang, and W. Serwe, From LOTOS to LNT, ModelEd, TestEd, TrustEd-Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol.10500, pp.3-26, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01621670

H. Garavel and W. Serwe, The unheralded value of the multiway rendezvous: Illustration with the production cell benchmark, 2nd Workshop on Models for Formal Analysis of Real Systems (MARS). Electronic Proceedings in Theoretical Computer Science, vol.244, pp.230-270, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01511847

J. Geldenhuys and A. Valmari, More efficient on-the-fly LTL verification with Tarjan's algorithm, Theor. Comput. Sci, vol.345, issue.1, pp.60-82, 2005.

A. Hamez, A symbolic model checker for petri nets: pnmc. In: Transactions on Petri Nets and Other Models of Concurrency XI, pp.297-306, 2016.

M. Heiner, M. Schwarick, and A. Tovchigrechko, DSSZ-MC-A Tool for Symbolic Analysis of Extended Petri Nets, Applications and Theory of Petri Nets, vol.5606, pp.323-332, 2009.

L. M. Hillah, E. Kindler, F. Kordon, L. Petrucci, and N. Trèves, A primer on the Petri Net Markup Language and ISO/IEC 15909-2, Petri Net Newsletter, vol.76, pp.9-28, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01126017

C. A. Hoare, Communicating sequential processes, Commun. ACM, vol.21, issue.8, pp.666-677, 1978.

. Iso/iec, High-level Petri Nets-Part 2: Transfer Format. International Standard 159092:2011, International Organization for Standardization-Information Technology-Systems and Software Engineering, 2011.

J. Jensen, T. Nielsen, L. Oestergaard, and J. Srba, TAPAAL and reachability analysis of P/T nets, LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), vol.9930, pp.307-318, 2016.

P. Jensen, K. Larsen, and J. Srba, PTrie: Data structure for compressing and storing sets via prefix sharing, 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17), vol.10580, pp.248-265, 2017.

G. Kant, A. Laarman, J. Meijer, J. Van-de-pol, S. Blom et al., LTSmin: Highperformance language-independent model checking, Tools and Algorithms for the Construction and Analysis of Systems-21st International Conference, TACAS, pp.692-707, 2015.

F. Kordon and F. Hulin-hubard, BenchKit, a Tool for Massive Concurrent Benchmarking, 14th International Conference on Application of Concurrency to System Design (ACSD'14), pp.159-165, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091157

F. Kordon, A. Linard, D. Buchs, M. Colange, S. Evangelista et al., Report on the Model Checking Contest at Petri Nets 2011. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) VI, pp.169-196, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01270053

F. Kordon, H. Garavel, L. M. Hillah, E. Paviot-adet, L. Jezequel et al., MCC'2015-The Fifth Model Checking Contest, Transactions on Petri Nets and Other Models of Concurrency, vol.11, pp.262-273, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01361274

L. Lamport, The part-time parliament, ACM Transactions on Computer Systems, vol.16, issue.2, pp.133-169, 1998.

J. Meijer, G. Kant, S. Blom, and J. Van-de-pol, Read, write and copy dependencies for symbolic model checking, Hardware and Software: Verification and Testing-10th International Haifa Verification Conference, HVC, pp.204-219, 2014.

J. Meijer and J. Van-de-pol, Bandwidth and wavefront reduction for static variable ordering in symbolic reachability analysis, NASA Formal Methods-8th International Symposium, NFM, pp.255-271, 2016.

O. Oanea, H. Wimmel, and K. Wolf, New algorithms for deciding the siphon-trap property, 31st International Conference on Applications and Theory of Petri Nets, vol.6128, pp.267-286, 2010.

D. Ongaro and J. Ousterhout, In search of an understandable consensus algorithm, USENIX Annual Technical Conference (USENIX ATC), pp.305-319, 2014.

K. Schmidt, How to calculate symmetries of Petri nets, Acta Informaticae, vol.36, issue.7, pp.545-590, 2000.

T. Sorensen, H. Evrard, and A. F. Donaldson, Cooperative kernels: GPU multitasking for blocking algorithms, 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE, pp.431-441, 2017.

Y. Thierry-mieg, Symbolic model-checking using ITS-Tools, TACAS. Lecture Notes in Computer Science, vol.9035, pp.231-237, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02104373

H. Wimmel and K. Wolf, Applying CEGAR to the Petri net state equation, Logical Methods in Computer Science, vol.8, issue.3, 2012.