Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Kočí Radek, Ing., Ph.D., UITS (FIT)
Abstrakt

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.

Klíčová slova

Discrete-Event Systems, Modeling, Simulation, Object-Oriented Petri Nets

Rok
2007
Strany
386–395
Sborník
Proceedings of the 16th International Conference on System Science
Řada
volume 1
Konference
XVI International Conference on Systems Science: ICSS 2007
ISBN
978-83-7493-339-1
Vydavatel
Wroclaw University of Technology
Místo
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"
}
Projekty
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Vývoj systémů založený na modelech, GAČR, Postdoktorandské granty, GP102/07/P306, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru