T. Araki and T. Kasami, Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets, Theoretical Computer Science, vol.4, issue.1, pp.99-119, 1977.

K. Barkaoui, J. M. Couvreur, and K. Klai, On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets, Applications and Theory of Petri Nets 2005, vol.3536, pp.90-107, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01124989

E. Best and P. Darondeau, Petri Net Distributability, Perspectives of Systems Informatics, vol.7162, pp.1-18, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00745311

D. De-frutos-escrig and C. Johnen, Decidability of Home Space Property, 1989.

J. Desel and J. Esparza, Free Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science, vol.40, 1995.

S. Haddad, J. Mairesse, and H. T. Nguyen, Synthesis and Analysis of Product-form Petri Nets, Fundamenta Informaticae, vol.122, issue.1-2, pp.147-172, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00582584

T. Hujsa, J. M. Delosme, and A. Munier-kordon, On the Reversibility of WellBehaved Weighted Choice-Free Systems, Application and Theory of Petri Nets and Concurrency, vol.8489, pp.334-353, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01017044

E. A. Lee and D. G. Messerschmitt, Synchronous Data Flow, Proceedings of the IEEE, vol.75, issue.9, pp.1235-1245, 1987.

J. P. Lopez-grao and J. M. Colom, Structural Methods for the Control of Discrete Event Dynamic Systems -The case of the Resource Allocation Problem, Control of Discrete-Event Systems, vol.433, pp.257-278, 2013.

G. Memmi and G. Roucairol, Linear Algebra in Net Theory, Net Theory and Applications, vol.84, pp.213-223, 1980.

T. Murata, Petri Nets : Properties, Analysis and Applications, Proceedings of the IEEE, vol.77, issue.4, pp.541-580, 1989.

L. Recalde, E. Teruel, and M. Silva, {SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems, LNCS, vol.1091, pp.440-459, 1996.

J. Sifakis, Structural Properties of Petri Nets, Mathematical Foundations of Computer Science, vol.64, pp.474-483, 1978.

E. Teruel, P. Chrzastowski-wachtel, J. M. Colom, and M. Silva, Application and Theory of Petri Nets, LNCS, vol.616, pp.348-367, 1992.

E. Teruel, J. M. Colom, and M. Silva, Choice-Free Petri Nets: A Model for Deterministic Concurrent Systems with Bulk Services and Arrivals, IEEE Transactions on Systems, Man and Cybernetics, Part A, vol.27, issue.1, pp.73-83, 1997.

E. Teruel and M. Silva, Liveness and Home States in Equal-Conflict Systems, LNCS, vol.691, pp.415-432, 1993.

E. Teruel and M. Silva, Structure Theory of Equal Conflict Systems, Theoretical Computer Science, vol.153, issue.1&2, pp.271-300, 1996.