Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2012

Kód důvěrnosti údajů

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

Název statě ve sborníku

Proceedings of 15th International Conference on Mechatronics - Mechatronika 2012

ISBN

978-80-01-04985-3

ISSN

—

e-ISSN

—

Počet stran výsledku

7

Strana od-do

263-269

Název nakladatele

Faculty of Electrical Engineering, Czech Technical University

Místo vydání

Praha

Místo konání akce

Praha

Datum konání akce

5. 12. 2012

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—