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

DOI10.1016/j.nahs.2015.07.003zbMath1344.68165MaRDI QIDQ901256

Berenice Gudiño-Mendoza, Hassane Alla, Ernesto López-Mellado

Publication date: 23 December 2015

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2015.07.003

zbMATH Keywords

timed continuous Petri nets; conflict resolution policies; IB-states; mixed linear integer programming

Mathematics Subject Classification ID

90C11: Mixed integer programming

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights

Cites Work

• Unnamed Item
• Unnamed Item
• First-order hybrid Petri nets. An application to distributed manufacturing systems
• Control of systems integrating logic, dynamics, and constraints
• Modelling and simulation of manufacturing systems with first-order hybrid Petri nets
• Event-driven model predictive control of timed hybrid Petri nets
• Decomposition of Petri nets and Lagrangian relaxation for solving routing problems for AGVs
• Improved Linear Integer Programming Formulations of Nonlinear Integer Problems
• Free Choice Petri Nets
• Decidability results in first-order hybrid Petri nets