Extending input-output place-transition Petri nets for distributed controller systems development

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

16 Citations (Scopus)

Abstract

Petri nets have been widely used in the design of embedded controllers, namely in electronic hardware and computing platforms design, as well as within automation application areas. This paper presents updated characteristics of one class of Petri nets, named Input-Output Place-Transition Petri nets (IOPT nets), extended to support networked embedded controllers design and globally-asynchronous locally-synchronous (GALS) systems modeling, together with its associated metamodel and execution semantics. The proposed meta-model is compliant with the Petri Net Markup Language (PNML) metamodel, augmented with the descriptions for inputs and outputs, as well as for time domains and communication channels. The meta-model is described using UML class diagrams and has an equivalent Ecore meta-model that positioning IOPT nets within the Eclipse Modeling Framework (EMF).

Original languageEnglish
Title of host publicationProceedings - 2014 International Conference on Mechatronics and Control (ICMC 2014)
Place of PublicationNew York
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1099-1104
Number of pages6
ISBN (Electronic)978-1-4799-2538-4
DOIs
Publication statusPublished - 31 Aug 2015
EventInternational Conference on Mechatronics and Control, ICMC 2014 - Jinzhou, China
Duration: 3 Jul 20145 Jul 2014

Conference

ConferenceInternational Conference on Mechatronics and Control, ICMC 2014
CountryChina
CityJinzhou
Period3/07/145/07/14

Keywords

  • Embedded systems
  • Equivalence classes
  • Markup languages
  • Petri nets
  • Semantics

Fingerprint

Dive into the research topics of 'Extending input-output place-transition Petri nets for distributed controller systems development'. Together they form a unique fingerprint.

Cite this