Affordable Access

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

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

Abstract

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.

Statistics

Seen <100 times
0 Comments

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..