Conference paper

KOČÍ Radek and JANOUŠEK Vladimír. System Composition Using Petri Nets and DEVS Formalisms. In: The Ninth International Conference on Software Engineering Advances. Nice: Xpert Publishing Services, 2014, pp. 309-315. ISBN 978-1-61208-367-4.
Publication language:english
Original title:System Composition Using Petri Nets and DEVS Formalisms
Title (cs):Využití formalismů Petri Nets a DEVS při tvorbě systémů
Pages:309-315
Proceedings:The Ninth International Conference on Software Engineering Advances
Conference:The Ninth International Conference on Software Engineering Advances
Place:Nice, FR
Year:2014
ISBN:978-1-61208-367-4
Publisher:Xpert Publishing Services
URL:http://www.thinkmind.org/index.php?view=article&articleid=icsea_2014_12_30_10305 [PDF]
Keywords
Object Oriented Petri Nets, DEVS, system composition, data passing
Annotation
This paper is part of the work dealing with system development and deployment, where the system behavior should be modeled by formalisms allowing to define workflow scenarios and offering an interface for workflows synchronization. One such formalism is represented by Object Oriented Petri Nets (OOPN). OOPN are based on well-known class-based approach enriched by concurrency. Nevertheless, OOPN lacks one important element---a hierarchy followed by a simple way to model items exchanges on the fly. Therefore, the formalism of Discrete Event System Specification (DEVS) is taken into account. In the presented approach, the OOPN model is split up into DEVS components. Each component can be coupled with another component through the same compatible interface. A combination of OOPN and DEVS formalisms is used to compose the system using DEVS-based components, where each such component is modeled by means of OOPN. It preserves the advantages of using OOPN for behavior modeling and makes it possible to hierarchize models. The paper deals with the combination of both formalisms and compares the classic object approach to the component approach for system composition.
BibTeX:
@INPROCEEDINGS{
   author = {Radek Ko{\v{c}}{\'{i}} and Vladim{\'{i}}r Janou{\v{s}}ek},
   title = {System Composition Using Petri Nets and DEVS Formalisms},
   pages = {309--315},
   booktitle = {The Ninth International Conference on Software Engineering
	Advances},
   year = {2014},
   location = {Nice, FR},
   publisher = {Xpert Publishing Services},
   ISBN = {978-1-61208-367-4},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=10644}
}

Your IPv4 address: 107.22.126.144
Switch to IPv6 connection

DNSSEC [dnssec]