Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets, Theoretical Computer Science, vol.4, issue.1, pp.99-119, 1977. ,
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
Petri Net Distributability, Perspectives of Systems Informatics, vol.7162, pp.1-18, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00745311
Decidability of Home Space Property, 1989. ,
Free Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science, vol.40, 1995. ,
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
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
Synchronous Data Flow, Proceedings of the IEEE, vol.75, issue.9, pp.1235-1245, 1987. ,
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. ,
Linear Algebra in Net Theory, Net Theory and Applications, vol.84, pp.213-223, 1980. ,
Petri Nets : Properties, Analysis and Applications, Proceedings of the IEEE, vol.77, issue.4, pp.541-580, 1989. ,
{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems, LNCS, vol.1091, pp.440-459, 1996. ,
Structural Properties of Petri Nets, Mathematical Foundations of Computer Science, vol.64, pp.474-483, 1978. ,
Application and Theory of Petri Nets, LNCS, vol.616, pp.348-367, 1992. ,
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. ,
Liveness and Home States in Equal-Conflict Systems, LNCS, vol.691, pp.415-432, 1993. ,
Structure Theory of Equal Conflict Systems, Theoretical Computer Science, vol.153, issue.1&2, pp.271-300, 1996. ,