TY - GEN
T1 - Composition of Petri nets models in serviceoriented industrial automation
AU - Mendes, J. Marco
AU - Leitão, Paulo
AU - Restivo, Francisco
AU - Colombo, Armando W.
N1 - Copyright:
Copyright 2010 Elsevier B.V., All rights reserved.
PY - 2010
Y1 - 2010
N2 - In service-oriented systems, composition of services is required to build new, distributed and more complex services, based on the logic behavior of individual ones. This paper discusses the formal composition of Petri nets models used for the process description and control in service-oriented automation systems. The proposed approach considers two forms for the composition of services, notably the offline composition, applied during the design phase, and the online composition, related to the synchronization of Petri nets models on the fly. An experimental case study is used to illustrate the proposed composition approach.
AB - In service-oriented systems, composition of services is required to build new, distributed and more complex services, based on the logic behavior of individual ones. This paper discusses the formal composition of Petri nets models used for the process description and control in service-oriented automation systems. The proposed approach considers two forms for the composition of services, notably the offline composition, applied during the design phase, and the online composition, related to the synchronization of Petri nets models on the fly. An experimental case study is used to illustrate the proposed composition approach.
UR - http://www.scopus.com/inward/record.url?scp=77956573052&partnerID=8YFLogxK
U2 - 10.1109/INDIN.2010.5549677
DO - 10.1109/INDIN.2010.5549677
M3 - Conference contribution
AN - SCOPUS:77956573052
SN - 9781424473007
T3 - IEEE International Conference on Industrial Informatics (INDIN)
SP - 578
EP - 583
BT - Proceedings - INDIN 2010
T2 - 8th IEEE International Conference on Industrial Informatics, INDIN 2010
Y2 - 13 July 2010 through 16 July 2010
ER -
