Utilize este identificador para referenciar este registo: https://hdl.handle.net/10216/25248
Autor(es): Paulo Leitão
Armando W. Colombo
Francisco José de Oliveira Restivo
Ronald Schoop
Título: Formal specification of holonic control system ADACOR product holon, using high-level petri nets
Data de publicação: 2003
Resumo: Holonic manufacturing and multi-agent paradigms are suitable to support the actual challenges of flexible manufacturing systems, due to their decentralisation, modularity and autonomy features. The formal specification assumes a critical role in order to understand and synthesise those complex systems. The Petri nets formalism is adequate to model and validate the dynamic behaviour, but present weak points when the system contains many instances of the same component, since the model grows (structure and components) in a non-controllable manner. The use of high-level Petri nets, allows to reduce this complexity, by compressing the representation of states, actions and events, to overcome the identified limitations and to support more complex and bigger coordination scenarios. We present a formal specification of the ADACOR product holons using high-level Petri nets and the associated formal validation of the model.
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
URI: https://repositorio-aberto.up.pt/handle/10216/25248
Fonte: Proceedings of the INDIN 2003, 1st IEEE International Conference on Industrial Informatics
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

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
67149.pdf749.4 kBAdobe PDFThumbnail
Ver/Abrir


Este registo está protegido por Licença Creative Commons Creative Commons