Customizable service-oriented Petri net controllers

J. Marco Mendes, Francisco Restivo, Paulo Leitão, Armando W. Colombo

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

6 Citations (Scopus)


In industrial automation, service-orientation is a relatively new and ascending concept and thus, concrete integrated methodologies are missing to accomplish the required development tasks. A suitable approach is to use the powerful set of features that Petri nets formalism provides for such dynamic systems. This paper presents a token game template that is part of the open methodology for the development of customized Petri nets controllers, targeting the engineering of service-oriented industrial automation. This template is based on a state machine specification for the life-cycle of transitions that leaves several options open for extending it with features depending on the application. The practical use and implementation should bring, among others, featured-full and integrated modeling, analysis and control capabilities, which is required by service-oriented ecosystems. This core structure was used and validated in the development of control applications for an industrial automation system.
Original languageEnglish
Title of host publicationIECON Proceedings (Industrial Electronics Conference)
PublisherIEEE Computer Society
Number of pages6
ISBN (Electronic)9781424446506
ISBN (Print)9781424446483
Publication statusPublished - 2009
Externally publishedYes
Event35th Annual Conference of the IEEE Industrial Electronics Society, IECON 2009 - Porto, Portugal
Duration: 3 Nov 20095 Nov 2009


Conference35th Annual Conference of the IEEE Industrial Electronics Society, IECON 2009


Dive into the research topics of 'Customizable service-oriented Petri net controllers'. Together they form a unique fingerprint.

Cite this