Publication detail
Object Oriented Petri Nets - Modelling Techniques Case Study
KOČÍ, R. JANOUŠEK, V. ZBOŘIL, F.
Original Title
Object Oriented Petri Nets - Modelling Techniques Case Study
English Title
Object Oriented Petri Nets - Modelling Techniques Case Study
Type
journal article - other
Language
en
Original Abstract
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.
English abstract
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.
Keywords
Modelling, Simulation, System Design, Model Based Design
RIV year
2010
Released
08.04.2010
Publisher
NEUVEDEN
Location
NEUVEDEN
ISBN
1473-8031
Periodical
International Journal of Simulation Systems, Science & Technology
Year of study
10
Number
3
State
GB
Pages from
32
Pages to
44
Pages count
13
Documents
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",
annote="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.",
address="NEUVEDEN",
chapter="50542",
edition="NEUVEDEN",
howpublished="print",
institution="NEUVEDEN",
number="3",
volume="10",
year="2010",
month="april",
pages="32--44",
publisher="NEUVEDEN",
type="journal article - other"
}