Detail publikace
Object Oriented Petri Nets - Modelling Techniques Case Study
KOČÍ, R.; JANOUŠEK, V.; ZBOŘIL, F. Object Oriented Petri Nets - Modelling Techniques Case Study. International Journal of Simulation Systems, Science & Technology, 2010, vol. 10, no. 3, p. 32-44. ISSN: 1473-8031.
Název česky
Objektově orientované Petriho sítě - Případová studie modelovacích technik
Typ
článek v časopise
Jazyk
anglicky
Autoři
Kočí Radek, Ing., Ph.D.
(UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Zbořil František, doc. Ing., Ph.D. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Zbořil František, doc. Ing., Ph.D. (UITS)
Klíčová slova
Modelling, Simulation, System Design, Model Based Design
Abstrakt
Článek se věnuje aplikaci formalismu Objektově Orientovaných Petriho sítí (OOPN) v oblasti návrhu systémů a demonstruje techniky modelování OOPN na případové studii návrhu konferenčního systému.
Rok
2010
Strany
32–44
Časopis
International Journal of Simulation Systems, Science & Technology, roč. 10, č. 3, ISSN 1473-8031
BibTeX
@article{BUT50542,
author="Radek {Kočí} and Vladimír {Janoušek} and František {Zbořil}",
title="Object Oriented Petri Nets - Modelling Techniques Case Study",
journal="International Journal of Simulation Systems, Science & Technology",
year="2010",
volume="10",
number="3",
pages="32--44",
issn="1473-8031"
}