Object Oriented Petri Nets -- Modelling Techniques Case Study
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APU76778" target="_blank" >RIV/00216305:26230/08:PU76778 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Object Oriented Petri Nets -- Modelling Techniques Case Study
Original language description
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.
Czech name
Object Oriented Petri Nets -- Modelling Techniques Case Study
Czech description
Článek se věnuje aplikaci formalismu Objektově Orientovaných Petriho sítí (OOPN) v oblasti návrhu systémů a demonstruje techniky modelování OOPN na případové studii návrhu konferenčního systému.<br>
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Second UKSIM European Symposium on Computer Modeling and Simulation
ISBN
978-0-7695-3325-4
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
IEEE Computer Society
Place of publication
Liverpool
Event location
Liverpool
Event date
Sep 8, 2008
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—