Extending IOPT nets with a module construct

José Ribeiro, Fernando Melício, Luis Gomes

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Input-output place-transition nets (IOPT nets) is a Petri net based formalism targeted for the development of embedded systems controllers. It is an extension to common place-transition Petri nets, introducing constructs to model the communication between the controller and the environment and using an execution semantics assuring a deterministic behavior. However, IOPT nets and the supporting tools framework - the IOPT-Tools - do not have a mechanism to support model structuring. Since models are flat, all the graphical components and annotations are visualized in the same page. Systems with several dozens of nodes become very difficult to manage. In this paper a modular construct for IOPT nets is presented, helping to manage large-scale systems, and the reuse of model components across projects. The algebraic specification of the model is provided and an example illustrating the concept is presented.

Original languageEnglish
Title of host publicationTechnological Innovation for Cyber-Physical Systems - 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Proceedings
PublisherSpringer New York LLC
Pages86-95
Number of pages10
Volume470
ISBN (Print)978-331931164-7
DOIs
Publication statusPublished - 2016
Event7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016 - Costa de Caparica, Portugal
Duration: 11 Apr 201613 Apr 2016

Publication series

NameIFIP Advances in Information and Communication Technology
Volume470
ISSN (Print)18684238

Conference

Conference7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016
CountryPortugal
CityCosta de Caparica
Period11/04/1613/04/16

Keywords

  • Composition
  • IOPT nets
  • Low-level Petri nets
  • Modularity

Fingerprint Dive into the research topics of 'Extending IOPT nets with a module construct'. Together they form a unique fingerprint.

Cite this