Result Details
Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework
JANOUŠEK, V.; KOČÍ, R. Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework. Proceedings of the 16th International Conference on System Science. volume 1. Wroclaw: Wroclaw University of Technology, 2007. p. 386-395. ISBN: 978-83-7493-339-1.
Type
conference paper
Language
English
Authors
Abstract
The importance of formal models used in system design is continuallygrowing. Since various formalisms are suitable for different kinds ofsystems, their combination is valuable in description of complexsystems. The paper deals with a combination of Object Oriented PetriNets (OOPN) and DEVS formalisms. DEVS is rather static formalism usingexplicit component interconnections, while OOPN is a highly dynamicformalism with implicit inter-object relations. Although theseformalisms are different, both are state-centered and, thus, theirintegration is well-feasible. The resulting framework derives benefitsfrom both formalisms.
Keywords
Discrete-Event Systems, Modeling, Simulation, Object-Oriented Petri Nets
Published
2007
Pages
386–395
Proceedings
Proceedings of the 16th International Conference on System Science
Series
volume 1
Conference
XVI International Conference on Systems Science: ICSS 2007
ISBN
978-83-7493-339-1
Publisher
Wroclaw University of Technology
Place
Wroclaw
BibTeX
@inproceedings{BUT28828,
author="Vladimír {Janoušek} and Radek {Kočí}",
title="Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework",
booktitle="Proceedings of the 16th International Conference on System Science",
year="2007",
series="volume 1",
pages="386--395",
publisher="Wroclaw University of Technology",
address="Wroclaw",
isbn="978-83-7493-339-1"
}
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Model Based System Development, GACR, Postdoktorandské granty, GP102/07/P306, start: 2007-01-01, end: 2009-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Model Based System Development, GACR, Postdoktorandské granty, GP102/07/P306, start: 2007-01-01, end: 2009-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
System Modelling and Optimization Research Group (VZ MODSIM)
Departments