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 |
| DOI: | 10.1109/ETFA.2003.1247707 |
| 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
