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

DOI10.1016/j.nahs.2015.07.003zbMath1344.68165OpenAlexW1161396042MaRDI 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 netsconflict resolution policiesIB-statesmixed linear integer programming

Mathematics Subject Classification ID

Mixed integer programming (90C11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

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

This page was built for publication: A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts