Result Details

Heterogenní simulace na bázi DEVS

JANOUŠEK, V.; SLAVÍČEK, P. Heterogenní simulace na bázi DEVS. Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava: Marq software s.r.o., 2003. s. 213-218. ISBN: 80-58988-88-7.
English title
Heterogenous simulations founded on DEVS
Type
conference paper
Language
Czech
Authors
Janoušek Vladimír, doc. Ing., Ph.D.
Slavíček Pavel, Ing., Ph.D.
Abstract

Tento článek se zabývá možnostmi heterogenní simulace na bázi DEVSformalismu. DEVS formalismus používá jako základní formalismus prosimulace a ukazuje, jak lze převést jiné modelovací formalismy na tentoformalismus. Převodem získáme ekvivalentní model popsaný pomocí DEVSformalismu. Takto získaný model lze poté simulovat pomocí univerzálníhoDEVS simulátoru.

English abstract

This article deals with heterogenous modeling and simulations based onDEVS formalism. DEVS formalism was conceived by Zeigler to providerigourous common basic for discrete-event modeling and simulation.Article shows examples how we can transform other modeling formalism(e.g. celluar automata, Petri`s nets) to the DEVS formalism. After thistransformation we can simulate equivalent model by universal DEVS solver

Keywords

DEVS, simulace, heterogenní modelování, DEVS simulátor

English keywords

DEVS, simulations, heterogenous modeling, DEVS solver

Published
2003
Pages
213–218
Proceedings
Proceedings of XXVth International Autumn Colloquium ASIS 2003
Conference
ASIS2003 - XXVth International Autumn Colloquium ADVANCED SIMULATION OF SYSTEMS
ISBN
80-58988-88-7
Publisher
Marq software s.r.o.
Place
Ostrava
BibTeX
@inproceedings{BUT10891,
  author="Vladimír {Janoušek} and Pavel {Slavíček}",
  title="Heterogenní simulace na bázi DEVS",
  booktitle="Proceedings of XXVth International Autumn Colloquium ASIS 2003",
  year="2003",
  pages="213--218",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-58988-88-7"
}
Projects
Modelling, Verifying, and Prototyping Distributed Applications Using Petri Nets, GACR, Standardní projekty, GA102/00/1017, start: 2000-01-01, end: 2002-12-31, completed
Departments
Back to top