Publication detail

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

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

Original Title

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

Type

journal article - other

Language

English

Original 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

Authors

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

RIV year

2012

Released

25. 6. 2012

ISBN

1613-0073

Periodical

CEUR Workshop Proceedings

Year of study

851

Number

06

State

Federal Republic of Germany

Pages from

253

Pages to

266

Pages count

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