Detail publikace

Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework

Originální název

Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework

Anglický název

Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

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