Publication detail
Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework
JANOUŠEK, V. KOČÍ, R.
Original Title
Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework
English Title
Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework
Type
conference paper
Language
en
Original Abstract
The importance of formal models used in system design is continually growing. Since various formalisms are suitable for different kinds of systems, their combination is valuable in description of complex systems. The paper deals with a combination of Object Oriented Petri Nets (OOPN) and DEVS formalisms. DEVS is rather static formalism using explicit component interconnections, while OOPN is a highly dynamic formalism with implicit inter-object relations. Although these formalisms are different, both are state-centered and, thus, their integration is well-feasible. The resulting framework derives benefits from both formalisms.
English abstract
The importance of formal models used in system design is continually growing. Since various formalisms are suitable for different kinds of systems, their combination is valuable in description of complex systems. The paper deals with a combination of Object Oriented Petri Nets (OOPN) and DEVS formalisms. DEVS is rather static formalism using explicit component interconnections, while OOPN is a highly dynamic formalism with implicit inter-object relations. Although these formalisms are different, both are state-centered and, thus, their integration is well-feasible. The resulting framework derives benefits from both formalisms.
Keywords
Discrete-Event Systems, Modeling, Simulation, Object-Oriented Petri Nets
RIV year
2007
Released
06.09.2007
Publisher
Wroclaw University of Technology
Location
Wroclaw
ISBN
978-83-7493-339-1
Book
Proceedings of the 16th International Conference on System Science
Edition
volume 1
Pages from
386
Pages to
395
Pages count
10
Documents
BibTex
@inproceedings{BUT28828,
author="Vladimír {Janoušek} and Radek {Kočí}",
title="Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework",
annote="The importance of formal models used in system design is continually growing.
Since various formalisms are suitable for different kinds of systems, their
combination is valuable in description of complex systems. The paper deals with a
combination of Object Oriented Petri Nets (OOPN) and DEVS formalisms. DEVS is
rather static formalism using explicit component interconnections, while OOPN is
a highly dynamic formalism with implicit inter-object relations. Although these
formalisms are different, both are state-centered and, thus, their integration is
well-feasible. The resulting framework derives benefits from both formalisms.
",
address="Wroclaw University of Technology",
booktitle="Proceedings of the 16th International Conference on System Science",
chapter="28828",
edition="volume 1",
howpublished="print",
institution="Wroclaw University of Technology",
year="2007",
month="september",
pages="386--395",
publisher="Wroclaw University of Technology",
type="conference paper"
}