Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/25263
Author(s): Paulo Leitão
Armando W. Colombo
Francisco José de Oliveira Restivo
Title: Formal specification of ADACOR holonic control system : coordination models
Issue Date: 2005
Abstract: 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.
Subject: Automação, Engenharia electrotécnica, electrónica e informática
Automation, Electrical engineering, Electronic engineering, Information engineering
Scientific areas: Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
Engineering and technology::Electrical engineering, Electronic engineering, Information engineering
URI: https://repositorio-aberto.up.pt/handle/10216/25263
Source: Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005
Document Type: Artigo em Livro de Atas de Conferência Internacional
Rights: restrictedAccess
License: https://creativecommons.org/licenses/by-nc/4.0/
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

Files in This Item:
File Description SizeFormat 
52371.pdf
  Restricted Access
185.24 kBAdobe PDF    Request a copy from the Author(s)


This item is licensed under a Creative Commons License Creative Commons