Detail publikace

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

KOČÍ, R.; JANOUŠEK, V. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. CEUR Workshop Proceedings, 2012, vol. 851, no. 06, p. 253-266. ISSN: 1613-0073.
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
anglicky
Autoři
Kočí Radek, Ing., Ph.D. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
URL
Klíčová slova

modeling, Object oriented Petri nets, layered nets, system design

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, č. 06, ISSN 1613-0073
BibTeX 
@article{BUT96991,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study",
  journal="CEUR Workshop Proceedings",
  year="2012",
  volume="851",
  number="06",
  pages="253--266",
  issn="1613-0073",
  url="http://www.ceur-ws.org/Vol-851/paper19.pdf"
}
Nahoru