Detail publikačního výsledku

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

KOČÍ, R.; JANOUŠEK, V.

Originální název

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

Anglický název

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

Druh

Článek recenzovaný mimo WoS a Scopus

Originální 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.

Anglický 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

Klíčová slova v angličtině

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

Autoři

KOČÍ, R.; JANOUŠEK, V.

Rok RIV

2013

Vydáno

25.06.2012

ISSN

1613-0073

Periodikum

CEUR Workshop Proceedings

Svazek

851

Číslo

06

Stát

Spolková republika Německo

Strany od

253

Strany do

266

Strany počet

14

URL

http://www.ceur-ws.org/Vol-851/paper19.pdf

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"
}