In this article, we show that the generating series of polynomial dynamical systems are exactly the generating series of the subclass of weighted Petri nets where each transition has a single input place with arc weight 1. We propose furthermore an algorithm to check whether a given Petri net corresponds directly to a dynamical system. In many cases, different initial markings correspond to different dynamical systems. We finally prove that the place invariants for the Petri nets correspond to scaling Lie symmetries of the corresponding dynamical system, as well as that the invariants of the symmetry group of the dynamical system corresponds to implicit places in the corresponding Petri net. \\ Dans cet article, nous montrons que les séries...
The use of invariants is an important tool for analysis of distributed and concurrent systems modele...
AbstractAlgebraic Petri nets as defined by Reisig (Theoret. Comput. Sci. 80 (1991) 1–34.) lack a fea...
AbstractPetri nets are widely used to model concurrent systems. However, their composition and abstr...
In this article, we show that the generating series of polynomial dynamical systems are exactly the ...
Algebraic Petri nets as defined by Reising [15] lack a feature for modelling distributed network alg...
De nombreux systèmes réels et applications, tels que les ateliers flexibles et systèmes embarqués, s...
International audienceJoin-Free Petri nets, whose transitions have at most one input place, model sy...
Many real systems and applications, including flexible manufacturing systems and embedded systems, a...
A polynomial algorithm was given by the authors and Bernardinello for synthesizing pure weighted Pet...
Original article can be found at: http://www.sciencedirect.com/science/journal/03032647 Copyright El...
Best Paper AwardInternational audienceJoin-Free Petri nets, whose transitions have at most one input...
In a seminal paper Montanari and Meseguer have shown that an algebraic interpretation of Petri nets ...
Paolo Dini, ‘Computational Properties of Cell Regulatory Pathways through Petri Nets’, in Advances i...
International audienceThis paper deals with the computation of polytopic invariant sets for polynomi...
The use of invariants is an important tool for analysis of distributed and concurrent systems modele...
The use of invariants is an important tool for analysis of distributed and concurrent systems modele...
AbstractAlgebraic Petri nets as defined by Reisig (Theoret. Comput. Sci. 80 (1991) 1–34.) lack a fea...
AbstractPetri nets are widely used to model concurrent systems. However, their composition and abstr...
In this article, we show that the generating series of polynomial dynamical systems are exactly the ...
Algebraic Petri nets as defined by Reising [15] lack a feature for modelling distributed network alg...
De nombreux systèmes réels et applications, tels que les ateliers flexibles et systèmes embarqués, s...
International audienceJoin-Free Petri nets, whose transitions have at most one input place, model sy...
Many real systems and applications, including flexible manufacturing systems and embedded systems, a...
A polynomial algorithm was given by the authors and Bernardinello for synthesizing pure weighted Pet...
Original article can be found at: http://www.sciencedirect.com/science/journal/03032647 Copyright El...
Best Paper AwardInternational audienceJoin-Free Petri nets, whose transitions have at most one input...
In a seminal paper Montanari and Meseguer have shown that an algebraic interpretation of Petri nets ...
Paolo Dini, ‘Computational Properties of Cell Regulatory Pathways through Petri Nets’, in Advances i...
International audienceThis paper deals with the computation of polytopic invariant sets for polynomi...
The use of invariants is an important tool for analysis of distributed and concurrent systems modele...
The use of invariants is an important tool for analysis of distributed and concurrent systems modele...
AbstractAlgebraic Petri nets as defined by Reisig (Theoret. Comput. Sci. 80 (1991) 1–34.) lack a fea...
AbstractPetri nets are widely used to model concurrent systems. However, their composition and abstr...