A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts

Berenice Gudiño-Mendoza (1) , Ernesto López-Melladoa (1) , Hassane Alla (2)

1 CINVESTAV - Centro de Investigacion y de Estudios Avanzados del Instituto Politécnico Nacional
2 GIPSA-SYSCO - GIPSA - Systèmes non linéaires et complexité

The behavior of timed continuous Petri nets (TCPN) can be ruled by linear equations during certain time elapses (IB-states), but changes in the marking and conflict solving policies make nonlinear the complete computation of the behavior. In this paper a global characterization of the switching behavior of TCPN through Mixed Linear Integer Programming (MLIP) is presented. The contribution is an analytical technique to compute the evolution graph of a TCPN, which allows deriving MLIP problems from TCPN models including cycles and structural conflicts; conflict resolution policies by priorities and sharing are considered.

Mots clés: Timed continuous Petri nets Mixed Linear Integer Programming IB-states Conflict resolution policies

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

Berenice Gudiño-Mendoza, Ernesto López-Melladoa, Hassane Alla. A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts. Nonlinear Analysis: Hybrid Systems, 2016, 19, pp.38-59. ⟨10.1016/j.nahs.2015.07.003⟩. ⟨hal-01232376⟩