Please use this identifier to cite or link to this item:
https://hdl.handle.net/10216/25249
Author(s): | Paulo Leitão Armando W. Colombo Francisco José de Oliveira Restivo |
Title: | A formal validation approach for holonic control system specifications |
Issue Date: | 2003 |
Abstract: | The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacturing world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifications of holonic control systems assumes a critical role. This paper discusses the formal validation of the Petri Net models designed to represent the behaviour and specifications of the holon classes defined at ADACOR architecture. |
Subject: | Engenharia de controlo, Engenharia electrotécnica, electrónica e informática Control engineering, 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://hdl.handle.net/10216/25249 |
Source: | Proceedings of the 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'03) |
Document Type: | Artigo em Livro de Atas de Conferência Internacional |
Rights: | openAccess |
License: | https://creativecommons.org/licenses/by-nc/4.0/ |
Appears in Collections: | FEUP - Artigo em Livro de Atas de Conferência Internacional |
This item is licensed under a Creative Commons License