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
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