High-level Petri nets modules for embedded controllers design

José Ribeiro, Fernando Melício, Luís Gomes

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Modular design is crucial to manage large-scale systems and to support the divide-and-conquer development approach. It allows hierarchical representations and, therefore, one can have a system overview, as well as observe component details. Petri nets are suitable to model concurrent systems, but lack on structuring mechanisms to support abstractions and the composition of sub-models, in particular when considering applications to embedded controllers design. In this paper we present a module construct, and an underlying high-level Petri net type, to model embedded controllers. Multiple interfaces can be declared in a module, thus, different instances of the same module can be used in different situations. The interface is a subset of the module nodes, through which the communication with the environment is made. Module places can be annotated with a generic type, overridden with a concrete type at instance level, and constants declared in a module may have a new value in each instance.

Original languageEnglish
Title of host publicationProceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages876-882
Number of pages7
ISBN (Electronic)9781479966493
DOIs
Publication statusPublished - 28 Sep 2015
Event13th International Conference on Industrial Informatics, INDIN 2015 - Cambridge, United Kingdom
Duration: 22 Jul 201524 Jul 2015

Conference

Conference13th International Conference on Industrial Informatics, INDIN 2015
Country/TerritoryUnited Kingdom
CityCambridge
Period22/07/1524/07/15

Keywords

  • Composition
  • Embedded Systems Design
  • High-level Petri nets
  • Modularity

Fingerprint

Dive into the research topics of 'High-level Petri nets modules for embedded controllers design'. Together they form a unique fingerprint.

Cite this