Petri net based engineering and software methodology for service-oriented industrial automation

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

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

3 Citations (Scopus)


Collaborative industrial systems are becoming an emergent paradigm towards flexibility. One promising solution are service-oriented industrial automation systems, but integrated software methodologies and major frameworks for the engineering are still missing. This paper presents an overview of the current results on a unified and integrated methodology based on intrinsic and novel features of Petri nets. These nets are applied to the modeling, analysis, service management, embedded software controllers, decision support system and monitoring, to improve the fundamentals in the engineering of service-oriented automation systems. The solution may contribute to the reduction of the design, operational and reconfiguration phases in the life-cycle of novel automation environments. Results were obtained and discussed from simulations and real industrial demonstrators.
Original languageEnglish
Title of host publicationEmerging trends in technological innovation
Subtitle of host publicationFirst IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2
EditorsLuis M. Camarinha-Matos, Pedro Pereira, Luis Ribeiro
Number of pages8
ISBN (Electronic)9783642116285
Publication statusPublished - 2010
Externally publishedYes

Publication series

NameIFIP Advances in Information and Communication Technology
ISSN (Print)1868-4238


  • Industrial automation
  • Petri nets
  • Service-oriented architecture
  • Service-oriented computing
  • Software engineering


Dive into the research topics of 'Petri net based engineering and software methodology for service-oriented industrial automation'. Together they form a unique fingerprint.

Cite this