TY - GEN
T1 - Formal specification of ADACOR holonic control system
T2 - 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
AU - Leitão, Paulo
AU - Colombo, Armando W.
AU - Restivo, Francisco
N1 - Copyright:
Copyright 2011 Elsevier B.V., All rights reserved.
PY - 2005
Y1 - 2005
N2 - The formal specification of agent-based and holonic manufacturing control systems assumes a critical role in order to understand and synthesize those complex systems. This paper presents the formal specification of the coordination models for the ADACOR holonic control system. For this purpose, it is used High-Level Petri Nets to model the behavior of individual ADACOR entities, AUML interaction diagrams to represent the interaction between those entities and mailboxes structures to synchronize the evolution of the Petri net models associated to the holons.
AB - The formal specification of agent-based and holonic manufacturing control systems assumes a critical role in order to understand and synthesize those complex systems. This paper presents the formal specification of the coordination models for the ADACOR holonic control system. For this purpose, it is used High-Level Petri Nets to model the behavior of individual ADACOR entities, AUML interaction diagrams to represent the interaction between those entities and mailboxes structures to synchronize the evolution of the Petri net models associated to the holons.
UR - http://www.scopus.com/inward/record.url?scp=33847178749&partnerID=8YFLogxK
U2 - 10.1109/CDC.2005.1582477
DO - 10.1109/CDC.2005.1582477
M3 - Conference contribution
AN - SCOPUS:33847178749
SN - 0780395689
SN - 9780780395688
T3 - Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
SP - 2137
EP - 2142
BT - Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
Y2 - 12 December 2005 through 15 December 2005
ER -