A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts. (February 2016)

• Record Type: Journal Article
• Authors: Gudiño-Mendoza, Berenice; López-Mellado, Ernesto; Alla, Hassane
• Is Part Of: Nonlinear analysis. Volume 19(2016)
• Page Start: 38
• Page End: 59
• Publication Date: 2016-02
• Subjects: Timed continuous Petri nets -- Mixed Linear Integer Programming -- IB-states -- Conflict resolution policies; Nonlinear functional analysis -- Periodicals; Analyse fonctionnelle non linéaire -- Périodiques; Nonlinear functional analysis; Periodicals; 515.7248
• DOI: 10.1016/j.nahs.2015.07.003
• Languages: English
• ISSNs: 1751-570X

Abstract

Abstract: 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.