Result Details

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.
Type
journal article
Language
English
Authors
Kočí Radek, Ing., Ph.D., DITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., DITS (FIT)
Abstract

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.

Keywords

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

URL
Published
2012
Pages
253–266
Journal
CEUR Workshop Proceedings, vol. 851, no. 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"
}
Projects
Advanced secured, reliable and adaptive IT, BUT, Vnitřní projekty VUT, FIT-S-11-1, start: 2011-01-01, end: 2013-12-31, completed
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
System Modelling and Optimization Research Group (RG MODSIM)
Departments
Department of Intelligent Systems (DITS)
Back to top