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 | Size | Format | |
---|---|---|---|---|
52371.pdf Restricted Access | 185.24 kB | Adobe PDF | Request a copy from the Author(s) |
This item is licensed under a Creative Commons License