A. Cheng, J. Esparza, and J. Palsberg, Complexity results for 1-safe nets, Theoretical Computer Science, vol.147, issue.1-2, pp.117-136, 1995.
DOI : 10.1016/0304-3975(94)00231-7

H. Garavel, Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets, 36th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS'15), pp.179-199, 2015.
DOI : 10.1007/978-3-319-19488-2_9
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, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013.
DOI : 10.1007/s10009-012-0244-z
URL : https://hal.archives-ouvertes.fr/hal-00715056

I. Iec, LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989.

I. Iec, High-level Petri Nets ? Part 2: Transfer Format. International Standard 15909- 2:2011, International Organization for Standardization ? Information Technology ? Systems and Software Engineering, 2011.

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