Conference paper

KOČÍ Radek and JANOUŠEK Vladimír. Simulation Based Design of Control Systems Using DEVS and Petri Nets. In: Computer Aided Systems Theory - EUROCAST 2009. Berlin: Springer Verlag, 2009, pp. 849-856. ISBN 978-3-642-04771-8.
Publication language:english
Original title:Simulation Based Design of Control Systems Using DEVS and Petri Nets
Title (cs):Simulační návrh řídicích systémů s využitím DEVS a Petriho sítí
Proceedings:Computer Aided Systems Theory - EUROCAST 2009
Conference:Twelve International Conference on Computer Aided Systems Theory---EUROCAST'09
Series:Lecture Notes in Computer Science, Volume 5717
Place:Berlin, DE
Publisher:Springer Verlag
DEVS, Object Oriented Petri Nets, simulation, modelling, system design
Current model-based design methodologies use executable semi-formal models allowing for transformations including code generation. Nevertheless, the code should be finalized manually and further development or debugging by means of prime models is impossible. The paper introduces an approach to the system design called Simulation Based Design which uses fromalisms of DEVS (Discrete-Event Systems Specification) and Object Oriented Petri Nets (OOPN) allowing for clear modeling, a possibility to check correctness by means of simulation as well as by formal verification. The approach is based on techniques such as incremental development in the simulation, reality-in-the-loop simulation, and model-continuity. The model is understood as an executable program valid through all development stages including the deployment (the target system).
   author = {Radek Ko{\v{c}}{\'{i}} and Vladim{\'{i}}r Janou{\v{s}}ek},
   title = {Simulation Based Design of Control Systems Using DEVS and
	Petri Nets},
   pages = {849--856},
   booktitle = {Computer Aided Systems Theory - EUROCAST 2009},
   series = {Lecture Notes in Computer Science, Volume 5717},
   year = {2009},
   location = {Berlin, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-642-04771-8},
   language = {english},
   url = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]