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

DOI10.1016/J.NAHS.2015.07.003MaRDI QIDQ901256zbMATHOpenAlexFDO

Authors 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)

Recommendations

• Recursive equations and basic properties of timed Petri nets
• Structural controllability in timed continuous Petri nets
• scientific article; zbMATH DE number 1163642
• Homothecy, bifurcations, continuity and monotonicity in timed continuous Petri nets under infinite server semantics
• Optimal stationary behavior for a class of timed continuous Petri nets

Cites work

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

Cited in

(1)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q901256)