Publication detail

Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems

RICHTA, T. JANOUŠEK, V. KOČÍ, R.

Original Title

Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems

English Title

Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems

Type

conference paper

Language

en

Original Abstract

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 system using 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.

English abstract

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 system using 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.

Keywords

systems modeling; formal specification; code generation; model-driven engineering; model execution; control systems

RIV year

2012

Released

05.12.2012

Publisher

Faculty of Electrical Engineering, Czech Technical University

Location

Praha

ISBN

978-80-01-04985-3

Book

Proceedings of 15th International Conference on Mechatronics - Mechatronika 2012

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

263

Pages to

269

Pages count

7

BibTex


@inproceedings{BUT97002,
  author="Tomáš {Richta} and Vladimír {Janoušek} and Radek {Kočí}",
  title="Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems",
  annote="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 system using 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.",
  address="Faculty of Electrical Engineering, Czech Technical University",
  booktitle="Proceedings of 15th International Conference on Mechatronics - Mechatronika 2012",
  chapter="97002",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Faculty of Electrical Engineering, Czech Technical University",
  year="2012",
  month="december",
  pages="263--269",
  publisher="Faculty of Electrical Engineering, Czech Technical University",
  type="conference paper"
}