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

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"
}