Relationship between Simulink and Petri Nets

Debjyoti Bera, Kees van Hee, Henk Nijmeijer

2014

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.

Paper Citation

in Harvard Style

Bera D., van Hee K. and Nijmeijer H. (2014). Relationship between Simulink and Petri Nets . In Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-038-3, pages 12-23. DOI: 10.5220/0005012000120023

in Bibtex Style

@conference{simultech14,
author={Debjyoti Bera and Kees van Hee and Henk Nijmeijer},
title={Relationship between Simulink and Petri Nets},
booktitle={Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2014},
pages={12-23},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005012000120023},
isbn={978-989-758-038-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Relationship between Simulink and Petri Nets
SN - 978-989-758-038-3
AU - Bera D.
AU - van Hee K.
AU - Nijmeijer H.
PY - 2014
SP - 12
EP - 23
DO - 10.5220/0005012000120023