Controller design and implementation: An approach based on problem frames and Petri Net models

Isabel Sofia Brito, João Paulo Barros, Luís Gomes

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

3 Citations (Scopus)

Abstract

Petri nets are often used as a design tool amenable to model specification, simulation, and verification. They are typically used in the design phase often with no clear connection to the requirements phase, including requirements specification. This paper shows how a class of non-autonomous Petri Nets can be used as an executable model for the design and implementation of machine domains in the context of the Problem Frames approach. This provides a requirements-design connection together with model simulation and verification. More specifically, Problem Frames are used to support requirements, problem and machine specifications amenable to a direct translation to IOPT nets, a class of non-autonomous Petri nets especially adapted for controller specifications. To that end, we propose a set of semi-formal rules for machine specifications in problem frames, which take advantage of the concepts available in IOPT nets, namely input and output signals and events, states, and a net composition operation. We illustrate the approach using an example.

Original languageEnglish
Title of host publicationProceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages860-867
Number of pages8
ISBN (Electronic)978-147996649-3
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

  • controller design
  • Petri nets
  • Problem Frames
  • simulation

Fingerprint Dive into the research topics of 'Controller design and implementation: An approach based on problem frames and Petri Net models'. Together they form a unique fingerprint.

Cite this