Modeling complex systems with Heterogeneous Petri Nets (HtPN)

Amaury Vignolles (1) , Elodie Chanthery (1) , Pauline Ribot (1)

1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite

This article presents a new formalism based on Petri nets to model heterogeneous systems and take uncertainties into account: the Heterogeneous Petri Nets (HtPN). A formal definition of heterogeneous systems is introduced: a class of systems that can present continuous, discrete or hybrid dynamics by subparts. After presenting the formalism and how it allows to specify the behavior of heterogeneous systems, the formalism is applied on an hybrid example, a production system from Motorola.

Mots clés: Modeling; Simulation; Heterogeneous Systems; Petri Nets

Domaines: Sciences de l'ingénieur [physics]; Informatique [cs]

Amaury Vignolles, Elodie Chanthery, Pauline Ribot. Modeling complex systems with Heterogeneous Petri Nets (HtPN). 2021. ⟨hal-03137722⟩