Formal specification of ADACOR holonic control system : coordination models

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

Full description

Bibliographic Details
Main Author: Paulo Leitão (author)
Other Authors: Armando W. Colombo (author), Francisco José de Oliveira Restivo (author)
Format: book
Language:eng
Published: 2005
Subjects:
Automação, Engenharia electrotécnica, electrónica e informática
Automation, Electrical engineering, Electronic engineering, Information engineering
Online Access:https://repositorio-aberto.up.pt/handle/10216/25263
Country:Portugal
Oai:oai:repositorio-aberto.up.pt:10216/25263
Description
Summary: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 behaviour 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.

Similar Items