Skip to Main content Skip to Navigation
Reports

Weighted Petri nets and polynomial dynamical systems

Résumé : 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 génératrices des systèmes dynamiques polynomiaux sont exactement les mêmes que les séries génératrices d'une sous--classe de réseaux de Petri pondérés, dans lesquels chaque transition a une seule place d'entrée avec le poids de l'arc égal à 1. Nous proposons ensuite un algorithme pour vérifier si un réseau de Petri donné correspond directement à un système dynamique. Dans de nombreux cas, des marquages initiaux différents correspondent à des systèmes dynamiques différents. Nous montrons enfin que les invariants de places dans les réseaux de Petri correspondent aux symétries de Lie de changement d'échelle du système dynamique correspondant, ainsi que les invariants du groupe de symétrie du système dynamique correspondent aux places implicites de réseau de Petri correspondant.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00001089
Contributor : Anne Jaigu <>
Submitted on : Friday, February 3, 2006 - 2:52:36 PM
Last modification on : Thursday, January 7, 2021 - 4:17:33 PM
Long-term archiving on: : Saturday, April 3, 2010 - 10:08:07 PM

Identifiers

  • HAL Id : inria-00001089, version 1

Citation

Mikhail Foursov, Christiane Hespel. Weighted Petri nets and polynomial dynamical systems. [Research Report] PI 1781, 2006, pp.17. ⟨inria-00001089⟩

Share

Metrics

Record views

462

Files downloads

114