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

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

doi:10.1007/978-3-642-11628-5_25

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 proceeding › Chapter › peer-review

3 Citations (Scopus)

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.

Original language	English
Title of host publication	Emerging trends in technological innovation
Subtitle of host publication	First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2
Editors	Luis M. Camarinha-Matos, Pedro Pereira, Luis Ribeiro
Pages	233-240
Number of pages	8
ISBN (Electronic)	9783642116285
DOIs	https://doi.org/10.1007/978-3-642-11628-5_25
Publication status	Published - 2010
Externally published	Yes

Publication series

Name	IFIP Advances in Information and Communication Technology
Volume	314
ISSN (Print)	1868-4238

Keywords

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

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/978-3-642-11628-5_25

Cite this

Mendes, J. M., Restivo, F., Leitão, P., & Colombo, A. W. (2010). Petri net based engineering and software methodology for service-oriented industrial automation. In L. M. Camarinha-Matos, P. Pereira, & L. Ribeiro (Eds.), Emerging trends in technological innovation: First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2 (pp. 233-240). (IFIP Advances in Information and Communication Technology; Vol. 314). https://doi.org/10.1007/978-3-642-11628-5_25

Mendes, J. Marco ; Restivo, Francisco ; Leitão, Paulo et al. / Petri net based engineering and software methodology for service-oriented industrial automation. Emerging trends in technological innovation: First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2. editor / Luis M. Camarinha-Matos ; Pedro Pereira ; Luis Ribeiro. 2010. pp. 233-240 (IFIP Advances in Information and Communication Technology).

@inbook{d260004fa87946eca57b91f738cd9e26,

title = "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.",

keywords = "Industrial automation, Petri nets, Service-oriented architecture, Service-oriented computing, Software engineering",

author = "Mendes, {J. Marco} and Francisco Restivo and Paulo Leit{\~a}o and Colombo, {Armando W.}",

year = "2010",

doi = "10.1007/978-3-642-11628-5_25",

language = "English",

isbn = "9783642116278",

series = "IFIP Advances in Information and Communication Technology",

pages = "233--240",

editor = "Camarinha-Matos, {Luis M.} and Pedro Pereira and Luis Ribeiro",

booktitle = "Emerging trends in technological innovation",

}

Mendes, JM, Restivo, F, Leitão, P & Colombo, AW 2010, Petri net based engineering and software methodology for service-oriented industrial automation. in LM Camarinha-Matos, P Pereira & L Ribeiro (eds), Emerging trends in technological innovation: First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2. IFIP Advances in Information and Communication Technology, vol. 314, pp. 233-240. https://doi.org/10.1007/978-3-642-11628-5_25

Petri net based engineering and software methodology for service-oriented industrial automation. / Mendes, J. Marco; Restivo, Francisco; Leitão, Paulo et al.
Emerging trends in technological innovation: First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2. ed. / Luis M. Camarinha-Matos; Pedro Pereira; Luis Ribeiro. 2010. p. 233-240 (IFIP Advances in Information and Communication Technology; Vol. 314).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

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

AU - Mendes, J. Marco

AU - Restivo, Francisco

AU - Leitão, Paulo

AU - Colombo, Armando W.

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - Industrial automation

KW - Petri nets

KW - Service-oriented architecture

KW - Service-oriented computing

KW - Software engineering

UR - http://www.scopus.com/inward/record.url?scp=77649246341&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-11628-5_25

DO - 10.1007/978-3-642-11628-5_25

M3 - Chapter

AN - SCOPUS:77649246341

SN - 9783642116278

T3 - IFIP Advances in Information and Communication Technology

SP - 233

EP - 240

BT - Emerging trends in technological innovation

A2 - Camarinha-Matos, Luis M.

A2 - Pereira, Pedro

A2 - Ribeiro, Luis

ER -

Mendes JM, Restivo F, Leitão P, Colombo AW. Petri net based engineering and software methodology for service-oriented industrial automation. In Camarinha-Matos LM, Pereira P, Ribeiro L, editors, Emerging trends in technological innovation: First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2. 2010. p. 233-240. (IFIP Advances in Information and Communication Technology). doi: 10.1007/978-3-642-11628-5_25

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

Abstract

Publication series

Keywords

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this