Článek v časopise

 
Kočí, R., Janoušek, V.: Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study, In: CEUR Workshop Proceedings, roč. 851, č. 06, 2012, DE, s. 253-266, ISSN 1613-0073
Jazyk publikace:angličtina
Název publikace:Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study
Název (cs):Návrh systémů s využitím formalismu Objektově orientovaných Petriho sítí: Příápadová studie
Strany:253-266
Místo vydání:DE
Rok:2012
URL:http://www.ceur-ws.org/Vol-851/paper19.pdf
Časopis:CEUR Workshop Proceedings, roč. 851, č. 06, DE
ISSN:1613-0073
Klíčová slova
modeling, Object oriented Petri nets, layered nets, system design
Anotace
Č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.
BibTeX:
@ARTICLE{
   author = {Radek Kočí and Vladimír Janouš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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=10052}
}