loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Debjyoti Bera ; Kees van Hee and Henk Nijmeijer

Affiliation: TU Eindhoven, Netherlands

Keyword(s): Petri Nets, Simulink, Colored Petri Nets, CPN Tools, Discrete Event Systems, Time Driven Systems, Model Checking, Performance Analysis.

Related Ontology Subjects/Areas/Topics: Conceptual Modeling ; Discrete-Event Simulation ; Dynamical Systems Models and Methods ; Formal Methods ; Mathematical Simulation ; Non-Linear Systems ; Performance Analysis ; Petri Nets ; Real-Time Systems ; Simulation and Modeling ; Simulation Tools and Platforms

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.145.183.34

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - SIMULTECH; ISBN 978-989-758-038-3; ISSN 2184-2841, SciTePress, pages 12-23. DOI: 10.5220/0005012000120023

@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 - SIMULTECH},
year={2014},
pages={12-23},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005012000120023},
isbn={978-989-758-038-3},
issn={2184-2841},
}

TY - CONF

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