Detail výsledku

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.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Kočí Radek, Ing., Ph.D., UITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Abstrakt

The aim of the paper is to show basic elements of a system design methodology which uses Object oriented Petri nets. The methodology features conformity with UML and uses simulation as a means to verify the models in all system development phases. Simulation also helps in making decisions about structural and behavioral specification of the system. The paper will demonstrate layered modeling technique based on Object oriented Petri nets.

Klíčová slova

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

URL
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"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru