Modeling Hybrid Systems with Petri Nets
| Autor: | Henk Nijmeijer, Kees M. van Hee, Debjyoti Bera |
|---|---|
| Přispěvatelé: | Dynamics and Control, Process Science |
| Rok vydání: | 2015 |
| Předmět: |
Model checking
CPN tools Discrete event systems Programming language Computer science Simulink Performance analysis Stateflow Petri nets ComputerApplications_COMPUTERSINOTHERSYSTEMS computer.file_format Petri net Process architecture computer.software_genre CPN Tools Time-driven systems Colored Petri nets Hybrid system Stochastic Petri net ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS Executable computer computer.programming_language |
| Zdroj: | Advances in Intelligent Systems and Computing ISBN: 9783319264691 SIMULTECH (Selected Papers) Simulation and Modeling Methodologies, Technologies and Applications: International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers, 17-42 STARTPAGE=17;ENDPAGE=42;TITLE=Simulation and Modeling Methodologies, Technologies and Applications |
| DOI: | 10.1007/978-3-319-26470-7_2 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|