Detail publikačního výsledku

Object Oriented Petri Nets - Modelling Techniques Case Study

KOČÍ, R.; JANOUŠEK, V.; ZBOŘIL, F.

Originální název

Object Oriented Petri Nets - Modelling Techniques Case Study

Anglický název

Object Oriented Petri Nets - Modelling Techniques Case Study

Druh

Článek recenzovaný mimo WoS a Scopus

Originální abstrakt

The importance of models used in the area of system design is growing. There were investigated and developed many methodologies of system design based on models -- they are known as Model-Based Design. These methodologies use semi-formal models and need for model transformations to check correctness or to get a final application. Formal models, by contrast, allow for clear modelling and checking correctness by simulation techniques as well as by formal verifications. The model is an executable program valid through all development stages including the target application. There are several suitable formalisms, one of them is a formalism of Petri Nets, especially its object variant, Object Oriented Petri Nets (OOPN). The paper deals with application of OOPN formalism in the area of system design and demonstrates modelling techniques of OOPN on the case study of conference system design.

Anglický abstrakt

The importance of models used in the area of system design is growing. There were investigated and developed many methodologies of system design based on models -- they are known as Model-Based Design. These methodologies use semi-formal models and need for model transformations to check correctness or to get a final application. Formal models, by contrast, allow for clear modelling and checking correctness by simulation techniques as well as by formal verifications. The model is an executable program valid through all development stages including the target application. There are several suitable formalisms, one of them is a formalism of Petri Nets, especially its object variant, Object Oriented Petri Nets (OOPN). The paper deals with application of OOPN formalism in the area of system design and demonstrates modelling techniques of OOPN on the case study of conference system design.

Klíčová slova

Modelling, Simulation, System Design, Model Based Design

Klíčová slova v angličtině

Modelling, Simulation, System Design, Model Based Design

Autoři

KOČÍ, R.; JANOUŠEK, V.; ZBOŘIL, F.

Rok RIV

2012

Vydáno

08.04.2010

ISSN

1473-8031

Periodikum

International Journal of Simulation Systems, Science & Technology

Svazek

10

Číslo

3

Stát

Spojené království Velké Británie a Severního Irska

Strany od

32

Strany do

44

Strany počet

13

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