Related references
Note: Only part of the references are listed.Petri Net Translation Patterns for the Analysis of eBusiness Collaboration Messaging Protocols
Andrew L. Feller et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2009)
Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets
Jiliang Luo et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2009)
Traffic network control based on hybrid dynamical system modeling and mixed integer nonlinear programming with convexity analysis
YoungWoo Kim et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2008)
An urban traffic network model via coloured timed Petri nets
Mariagrazia Dotoli et al.
CONTROL ENGINEERING PRACTICE (2006)
Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling
C Tolba et al.
SIMULATION MODELLING PRACTICE AND THEORY (2005)
Urban traffic control structure based on hybrid Petri nets
A Di Febbraro et al.
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS (2004)
On fluidification of Petri Nets: from discrete to hybrid and continuous models
M Silva et al.
ANNUAL REVIEWS IN CONTROL (2004)
A survey of industrial model predictive control technology
SJ Qin et al.
CONTROL ENGINEERING PRACTICE (2003)
Traffic flow modeling of large-scale motorway networks using the macroscopic modeling tool METANET
A Kotsialos et al.
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS (2002)
State-of-the-art of vehicular traffic flow modelling
SP Hoogendoorn et al.
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART I-JOURNAL OF SYSTEMS AND CONTROL ENGINEERING (2001)
First-order hybrid Petri Nets: A model for optimization and control
F Balduzzi et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2000)