Object Oriented Petri Nets - Modelling Techniques Case Study

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F10%3APU89519" target="_blank" >RIV/00216305:26230/10:PU89519 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Object Oriented Petri Nets - Modelling Techniques Case Study

Popis výsledku v původním jazyce

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 needfor 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.

Název v anglickém jazyce

Object Oriented Petri Nets - Modelling Techniques Case Study

Popis výsledku anglicky

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 needfor 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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2010

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

International Journal of Simulation Systems, Science & Technology

ISSN

1473-8031

e-ISSN

—

Svazek periodika

10

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

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

Počet stran výsledku

13

Strana od-do

32-44

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—