@inproceedings{02d53e22252940339d2d90b37a715146,
title = "Modeling hybrid systems with petri nets",
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.",
keywords = "Colored Petri nets, CPN tools, Discrete event systems, Model checking, Performance analysis, Petri nets, Simulink, Time-driven systems",
author = "D. Bera and {van Hee}, K.M. and H. Nijmeijer",
year = "2015",
doi = "10.1007/978-3-319-26470-7_2",
language = "English",
isbn = "978-3-319-26469-1",
series = "Advances in Intelligent Systems and Computing",
publisher = "Springer",
pages = "17--42",
booktitle = "Simulation and Modeling Methodologies, Technologies and Applications",
address = "Germany",
note = "4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2014 ; Conference date: 28-08-2014 Through 30-08-2014",
}