Detail publikace

Incorporating Petri Nets into DEVS Formalism for Precise System Modeling

KOČÍ, R.; JANOUŠEK, V. Incorporating Petri Nets into DEVS Formalism for Precise System Modeling. ICSEA 2019, The Fourteenth International Conference on Software Engineering Advances. Valencia: Xpert Publishing Services, 2019. p. 184-189. ISBN: 978-1-61208-752-8.
Název česky
Začlenění Petriho sítí do formalismu DEVS pro přesné modelování systému
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kočí Radek, Ing., Ph.D. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
URL
Klíčová slova

Object Oriented Petri Nets, DEVS, modeling, simulation, interconnection

Abstrakt

Modelování a simulace jsou součástí vývoje softwaru z důvodu jejich schopnosti abstrakce a validace systému. Jednou z motivací výzkumu je orientace na větší interaktivitu při modelování systémových požadavků a možnost zkoumat modely v reálných podmínkách. K dosažení tohoto cíle je třeba systém přesně modelovat. Existuje mnoho vhodných paradigmat; článek se zaměřuje zejména na formalizmy Objektově orientovaných Petriho sítí (OOPN) a DEVS. OOPN představuje abstraktní formalismus umožňující přirozený popis paralelismu, synchronizace a nedeterminismu. Formalismus DEVS představuje základ pro teorii modelování a simulace a lze jej považovat za základní platformu pro návrh systémů s více paradigmaty. Proto byl pro modelovací platformu zvolena varianta začlenění formalismu OOPN do formalismu DEVS.

Rok
2019
Strany
184–189
Sborník
ICSEA 2019, The Fourteenth International Conference on Software Engineering Advances
ISBN
978-1-61208-752-8
Vydavatel
Xpert Publishing Services
Místo
Valencia
BibTeX 
@inproceedings{BUT161465,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Incorporating Petri Nets into DEVS Formalism for Precise System Modeling",
  booktitle="ICSEA 2019, The Fourteenth International Conference on Software Engineering Advances",
  year="2019",
  pages="184--189",
  publisher="Xpert Publishing Services",
  address="Valencia",
  isbn="978-1-61208-752-8",
  url="https://www.thinkmind.org/index.php?view=article&articleid=icsea_2019_8_20_10124"
}
Nahoru