Detail publikace

Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study

KOČÍ Radek a JANOUŠEK Vladimír. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. CEUR Workshop Proceedings, roč. 851, č. 06, 2012, s. 253-266. ISSN 1613-0073. Dostupné z: http://www.ceur-ws.org/Vol-851/paper19.pdf
Název česky
Návrh systémů s využitím formalismu Objektově orientovaných Petriho sítí: Příápadová studie
Typ
článek v časopise
Jazyk
angličtina
Autoři
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Článek prezentuje základní prvky metodiky návrhu systémů, která využítá formalismu Objektově orientovaných Petriho sítí (OOPN). Metodika představuje spojení OOPN s modely jazyka UML a používá simulaci jako prostředek pro testování modelů ve všech etapách vývoje. Článek se zaměřuje na vrstvenou architekturu systému vycházející z diagramu případů užití a OOPN.

Rok
2012
Strany
253-266
Časopis
CEUR Workshop Proceedings, roč. 851, č. 6, ISSN 1613-0073
BibTeX 
@ARTICLE{FITPUB10052,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study",
   pages = "253--266",
   journal = "CEUR Workshop Proceedings",
   volume = 851,
   number = 06,
   year = 2012,
   ISSN = "1613-0073",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10052"
}
Nahoru