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 contribution

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
CountryUnited 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

    Ribeiro, J., Melício, F., & Gomes, L. (2015). High-level Petri nets modules for embedded controllers design. In Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015 (pp. 876-882). [7281851] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/INDIN.2015.7281851