Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F12%3APU101827" target="_blank" >RIV/00216305:26230/12:PU101827 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems
Original language description
This paper deals with the problem of automated conversion of formal system specification to the executable implementation that preserves the reconfigurability of the original model within its runtime. Formal part of the work is based on Coloured Petri Nets formalism extended with the nets-within-nets structural paradigm introduced by Valk. This paradigm reduces the partitioning problem using multiple levels of abstraction within modeling. Described solution aims to producethe distributed control systemusing five levels of abstraction and a set of translation rules that produces the target prototype. The main contribution of the paper is the introduction of mapping rules that are used for prototype generation and the concept of distributed virtual machine that interprets Petri Nets specifications and supports the reconfigurability of the system.
Czech name
—
Czech description
—

Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of 15th International Conference on Mechatronics - Mechatronika 2012
ISBN
978-80-01-04985-3
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
263-269
Publisher name
Faculty of Electrical Engineering, Czech Technical University
Place of publication
Praha
Event location
Praha
Event date
Dec 5, 2012
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)