Relationship between Simulink and Petri nets

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

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.
Originele taal-2Engels
TitelProceedings of SIMULTECH 2014 : Fourth International Conference on Simulation and Modeling Methodologies, Technologies and Applications, 28-30 August, 2014, Vienna, Austria
RedacteurenM.S. Obaidat, J. Kacprzyk, X. Tuncer Oren
Plaats van producties.l.
Uitgeverijs.n.
Pagina's44-
StatusGepubliceerd - 2014
Evenementconference; SIMULTECH 2014; 2014-08-28; 2014-08-30 -
Duur: 28 aug 201430 aug 2014

Congres

Congresconference; SIMULTECH 2014; 2014-08-28; 2014-08-30
Periode28/08/1430/08/14
AnderSIMULTECH 2014

Vingerafdruk Duik in de onderzoeksthema's van 'Relationship between Simulink and Petri nets'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Bera, D., van Hee, K. M., & Nijmeijer, H. (2014). Relationship between Simulink and Petri nets. In M. S. Obaidat, J. Kacprzyk, & X. Tuncer Oren (editors), Proceedings of SIMULTECH 2014 : Fourth International Conference on Simulation and Modeling Methodologies, Technologies and Applications, 28-30 August, 2014, Vienna, Austria (blz. 44-). s.n..