Affordable Access

Modeling Petri Nets as Local Constraint Equations for Hybrid Systems Using Modelica

The Society for Computer Simulation International
Publication Date
  • Institut Für Robotik Und Systemdynamik
  • Mathematics


To model complex mixed continuous/discrete, hybrid, systems, the continuous part can be described by differential and algebraic equations using an object-oriented modeling language such as Modelica. It is shown how a discrete formalism such as Petri nets can be incorporated by describing all components by strictly local equations. This allows a unifying treatment since both the continuous and the discrete part of a system are described by equations. The resulting Petri net library is applied to model the redundancy management control of the elevator subsystem of an aircraft.

There are no comments yet on this publication. Be the first to share your thoughts.


Seen <100 times

More articles like this

Modeling and verification of hybrid dynamic system...

on Theoretical Computer Science Aug 10, 2012

Modeling and analysis using hybrid Petri nets

on Nonlinear Analysis Hybrid Syst... Jan 01, 2007

Modeling of automated storage/retrieval systems us...

on Journal of Manufacturing Syste... Jan 01, 1992
More articles like this..