Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10216/25249| Autor(es): | Paulo Leitão Armando W. Colombo Francisco José de Oliveira Restivo |
| Título: | A formal validation approach for holonic control system specifications |
| Data de publicação: | 2003 |
| Resumo: | 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. |
| Assunto: | Engenharia de controlo, Engenharia electrotécnica, electrónica e informática Control engineering, Electrical engineering, Electronic engineering, Information engineering |
| Áreas do conhecimento: | 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 |
| Fonte: | Proceedings of the 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'03) |
| Tipo de Documento: | Artigo em Livro de Atas de Conferência Internacional |
| Condições de Acesso: | openAccess |
| Licença: | https://creativecommons.org/licenses/by-nc/4.0/ |
| Aparece nas coleções: | FEUP - Artigo em Livro de Atas de Conferência Internacional |
Este registo está protegido por Licença Creative Commons
