Abstract
Matlab/Simulink is an industrial tool that is widely used to design and validate control algorithms for embedded control systems using numerical simulation. A Simulink model of a control system typically defines one or more control algorithms together with their environment. Such models exhibit both discrete and continuous dynamics, simulated by discretizing time. On the other hand, a colored Petri net (CPN) is a well known formalism for modeling behavior of discrete event systems. In this paper, we give a formal semantics to Simulink using the CPN formalism, by describing how Simulink models can be expressed as a CPN. We also show how Petri nets can be simulated in Simulink. Finally, we show how a CPN model can be used for performance analysis of a Simulink model.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications |
| Subtitle of host publication | SIMULTECH, 12-23, 2014 , Vienna, Austria |
| Editors | Mohammad S. Obaidat, Janusz Kacprzyk, Tuncer Oren |
| Publisher | SciTePress Digital Library |
| Pages | 12-23 |
| Number of pages | 12 |
| Volume | 1 |
| ISBN (Electronic) | 9789897580383 |
| DOIs | |
| Publication status | Published - 2014 |
| Event | 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2014 - Vienna, Austria Duration: 28 Aug 2014 → 30 Aug 2014 |
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