Modeling hybrid systems with petri nets

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

doi:10.1007/978-3-319-26470-7_2

Modeling hybrid systems with petri nets

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Simulation and Modeling Methodologies, Technologies and Applications
Subtitle of host publication	International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers
Place of Publication	Dordrecht
Publisher	Springer
Pages	17-42
Number of pages	26
ISBN (Electronic)	978-3-319-26470-7
ISBN (Print)	978-3-319-26469-1
DOIs	https://doi.org/10.1007/978-3-319-26470-7_2
Publication status	Published - 2015
Event	4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2014 - Vienna, Austria Duration: 28 Aug 2014 → 30 Aug 2014

Publication series

Name	Advances in Intelligent Systems and Computing
Volume	402
ISSN (Print)	21945357

Conference

Conference	4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2014
Country/Territory	Austria
City	Vienna
Period	28/08/14 → 30/08/14
Other	SIMULTECH 2014

Keywords

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

Access to Document

10.1007/978-3-319-26470-7_2

Cite this

Bera, D., van Hee, K. M., & Nijmeijer, H. (2015). Modeling hybrid systems with petri nets. In Simulation and Modeling Methodologies, Technologies and Applications: International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers (pp. 17-42). (Advances in Intelligent Systems and Computing; Vol. 402). Springer. https://doi.org/10.1007/978-3-319-26470-7_2

@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",

}

Bera, D, van Hee, KM & Nijmeijer, H 2015, Modeling hybrid systems with petri nets. in Simulation and Modeling Methodologies, Technologies and Applications: International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers. Advances in Intelligent Systems and Computing, vol. 402, Springer, Dordrecht, pp. 17-42, 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2014, Vienna, Austria, 28/08/14. https://doi.org/10.1007/978-3-319-26470-7_2

Modeling hybrid systems with petri nets. / Bera, D.; van Hee, K.M.; Nijmeijer, H.

Simulation and Modeling Methodologies, Technologies and Applications: International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers. Dordrecht : Springer, 2015. p. 17-42 (Advances in Intelligent Systems and Computing; Vol. 402).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Modeling hybrid systems with petri nets

AU - Bera, D.

AU - van Hee, K.M.

AU - Nijmeijer, H.

PY - 2015

Y1 - 2015

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

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

KW - Colored Petri nets

KW - CPN tools

KW - Discrete event systems

KW - Model checking

KW - Performance analysis

KW - Petri nets

KW - Simulink

KW - Time-driven systems

UR - http://www.scopus.com/inward/record.url?scp=84983113594&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-26470-7_2

DO - 10.1007/978-3-319-26470-7_2

M3 - Conference contribution

AN - SCOPUS:84983113594

SN - 978-3-319-26469-1

T3 - Advances in Intelligent Systems and Computing

SP - 17

EP - 42

BT - Simulation and Modeling Methodologies, Technologies and Applications

PB - Springer

CY - Dordrecht

T2 - 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2014

Y2 - 28 August 2014 through 30 August 2014

ER -

Modeling hybrid systems with petri nets

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this