A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts
From MaRDI portal
Publication:901256
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
timed continuous Petri nets; conflict resolution policies; IB-states; mixed linear integer programming
90C11: Mixed integer programming
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
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