HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Petri Net Based Engineering and Software Methodology for Service-Oriented Industrial Automation

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, November 17, 2017 - 4:20:16 PM
Last modification on : Wednesday, November 29, 2017 - 10:57:57 AM
Long-term archiving on: : Sunday, February 18, 2018 - 5:04:23 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



J. Marco Mendes, Francisco Restivo, Paulo Leitão, Armando W. Colombo. Petri Net Based Engineering and Software Methodology for Service-Oriented Industrial Automation. First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.231-238, ⟨10.1007/978-3-642-11628-5_25⟩. ⟨hal-01060807⟩



Record views


Files downloads