Modeling hybrid systems with petri nets

D. Bera, K.M. van Hee, H. Nijmeijer

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Abstract

The behavior of a hybrid system is a mixture of continuous behavior and discrete event behavior. The Simulink/Stateflow toolset is a widely used industrial tool to design and validate hybrid control systems using numerical simulation methods for the continuous parts and an executable Stateflow (combination of Statecharts and Flowcharts) for the discrete event parts. On the other hand, Colored Petri Nets (CPN) is a well-known formalism for modeling behavior of discrete event systems. In this paper, we show how the CPN formalism can be used to model a hybrid system. Then we consider the special case of Simulink/Stateflow models and show how they can be expressed in CPN.

Original languageEnglish
Title of host publicationSimulation and Modeling Methodologies, Technologies and Applications
Subtitle of host publicationInternational Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers
Place of PublicationDordrecht
PublisherSpringer
Pages17-42
Number of pages26
ISBN (Electronic)978-3-319-26470-7
ISBN (Print)978-3-319-26469-1
DOIs
Publication statusPublished - 2015
EventInternational Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2014 - Vienna, Austria
Duration: 28 Aug 201430 Aug 2014

Publication series

NameAdvances in Intelligent Systems and Computing
Volume402
ISSN (Print)21945357

Conference

ConferenceInternational Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2014
CountryAustria
CityVienna
Period28/08/1430/08/14

Keywords

  • Colored Petri nets
  • CPN tools
  • Discrete event systems
  • Model checking
  • Performance analysis
  • Petri nets
  • Simulink
  • Time-driven systems

Fingerprint Dive into the research topics of 'Modeling hybrid systems with petri nets'. Together they form a unique fingerprint.

Cite this