Conference paper

JANOUŠEK Vladimír and KOČÍ Radek. Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework. In: Proceedings of the 16th International Conference on System Science. Wroclaw: Wroclaw University of Technology, 2007, pp. 386-395. ISBN 978-83-7493-339-1.
Publication language:english
Original title:Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework
Title (cs):Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework
Pages:386-395
Proceedings:Proceedings of the 16th International Conference on System Science
Conference:XVI International Conference on Systems Science: ICSS 2007
Series:volume 1
Place:Wroclaw, PL
Year:2007
ISBN:978-83-7493-339-1
Publisher:Wroclaw University of Technology
Keywords
Discrete-Event Systems, Modeling, Simulation, Object-Oriented Petri Nets
Annotation
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{
   author = {Vladim{\'{i}}r Janou{\v{s}}ek and Radek Ko{\v{c}}{\'{i}}},
   title = {Embedding Object-Oriented Petri Nets into a DEVS-based
	Simulation Framework},
   pages = {386--395},
   booktitle = {Proceedings of the 16th International Conference on System
	Science},
   series = {volume 1},
   year = {2007},
   location = {Wroclaw, PL},
   publisher = {Wroclaw University of Technology},
   ISBN = {978-83-7493-339-1},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=8421}
}

Your IPv4 address: 54.226.172.30
Switch to IPv6 connection

DNSSEC [dnssec]