Formal specification of ADACOR holonic control system: coordination models

Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco

http://hdl.handle.net/10198/1523

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
2005-CDC-published.pdf		185.24 KB	Adobe PDF	Download

Send Feedback

Authors

Leitão, Paulo

Colombo, Armando W.

Restivo, Francisco

Abstract(s)

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.

Description

Indexado ISI

Keywords

Holonic control Petri nets Manufacturing systems Coordination models

URI

http://hdl.handle.net/10198/1523

Citation

Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco (2005). Formal specification of ADACOR holonic control system: coordination models.In Proceedings of the 44th IEEE International Conference on Decision and Control (CDC’05). Seville, Spain. p.2137-2142. ISBN: 0-7803-9567-0