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

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

T. Murata, Petri nets : properties, analysis and applications, Proceedings of the IEEE, vol.77, pp.541-580, 1989.

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, P. Chrzastowski-wachtel, J. M. Colom, and M. Silva, Application and Theory of Petri Nets 1992, LNCS, vol.616, pp.348-367, 1992.

K. Barkaoui and L. Petrucci, Structural analysis of Workflow nets with shared resources, Proceedings of Workflow Management: Net-Based Concepts, Models, Techniques and Tools (WFM'98, vol.98, pp.82-95, 1998.

E. Teruel and M. Silva, Liveness and home states in Equal Conflict systems, LNCS, vol.691, pp.415-432, 1993.

L. Recalde, E. Teruel, and M. Silva, Modeling and analysis of sequential processes that cooperate through buffers, IEEE Transactions on Robotics and Automation, vol.14, issue.2, pp.267-277, 1998.

G. Berthelot and . Lri-iie, Checking properties of nets using transformations, Advances in Petri Nets, vol.222, pp.19-40, 1985.

G. Berthelot, Transformations and decompositions of nets, Petri Nets: Central Models and Their Properties, vol.254, pp.359-376, 1987.

J. Colom, E. Teruel, M. Silva, and S. Haddad, Structural methods. In: Petri Nets for Systems Engineering, pp.277-316, 2003.

G. Memmi and G. Roucairol, Linear algebra in net theory, Net Theory and Applications, vol.84, pp.213-223, 1980.
DOI : 10.1007/3-540-10001-6_24

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

E. Teruel and M. Silva, Structure theory of Equal Conflict systems, Theoretical Computer Science, vol.153, issue.1&2, pp.271-300, 1996.
DOI : 10.1016/0304-3975(95)00124-7
URL : https://doi.org/10.1016/0304-3975(95)00124-7

R. M. Keller, A fundamental theorem of asynchronous parallel computation, Parallel Processing, vol.24, pp.102-112, 1975.
DOI : 10.1007/3-540-07135-0_113

E. Best and P. Darondeau, Decomposition theorems for bounded persistent Petri nets, LNCS, vol.5062, pp.33-51, 2008.
DOI : 10.1007/978-3-540-68746-7_7

Y. E. Lien, Termination Properties of Generalized Petri Nets, SIAM Journal on Computing, vol.5, issue.2, pp.251-265, 1976.
DOI : 10.1137/0205020

J. M. Delosme, T. Hujsa, and A. Munier-kordon, Polynomial sufficient conditions of well-behavedness for weighted Join-Free and Choice-Free systems, Proceedings of the 13th International Conference on Application of Concurrency to System Design (ACSD'13, pp.90-99, 2013.
DOI : 10.1109/acsd.2013.12
URL : https://hal.archives-ouvertes.fr/hal-00863651

T. Hujsa, J. M. Delosme, and A. Munier-kordon, Polynomial sufficient conditions of well-behavedness and home markings in subclasses of weighted Petri nets, Transactions on Embedded Computing Systems, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01053867

O. Marchetti and A. Munier-kordon, A sufficient condition for the liveness of Weighted Event Graphs, European Journal of Operational Research, vol.197, issue.2, pp.532-540, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01197183