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

Files in This Item:
File Description SizeFormat 
54532.pdf630.57 kBAdobe PDFThumbnail
View/Open


This item is licensed under a Creative Commons License Creative Commons