Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
KOČÍ, R. JANOUŠEK, V.
Originální název
The Object Oriented Petri Net Component Model
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
Originální abstrakt
The formalism of Object Oriented Petri Nets (OOPN) is a part of the work dealing with the method of system development in simulation. The work is based on the ideas that system models are always executed even if they contain only one simple element or any changes are performed. Thus, there is no difference between models, prototypes, or target system. Moreover, it should be possible to use different formalisms to describe models. Whence it follows that a common platform is needed. The platform has to be simple and has to allow to change models on the fly. Therefore, the formalism of Discrete Event System Specification (DEVS) has been used to specify the platform. It enables to compose system using DEVS-based components, whereas each such a component is modeled by means of OOPN. It preserves the advantages of using OOPN for behavior modeling and makes it possible to hierarchize models. The paper defines a platform based on DEVS and OOPN formalisms and deals with a question of safe changes of components on the fly.
Klíčová slova
Object Oriented Petri Nets; DEVS; component platform; interface consistency
Autoři
KOČÍ, R.; JANOUŠEK, V.
Rok RIV
2015
Vydáno
15. 11. 2015
Nakladatel
Xpert Publishing Services
Místo
Barcelona
ISBN
978-1-61208-438-1
Kniha
The Tenth International Conference on Software Engineering Advances
Strany od
18
Strany do
24
Strany počet
7
URL
http://www.thinkmind.org/index.php?view=article&articleid=icsea_2015_1_40_10130
BibTex
@inproceedings{BUT119874, author="Radek {Kočí} and Vladimír {Janoušek}", title="The Object Oriented Petri Net Component Model", booktitle="The Tenth International Conference on Software Engineering Advances", year="2015", pages="18--24", publisher="Xpert Publishing Services", address="Barcelona", isbn="978-1-61208-438-1", url="http://www.thinkmind.org/index.php?view=article&articleid=icsea_2015_1_40_10130" }