Formal specification of holonic control system ADACOR product holon, using high-level petri nets

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2003

Autores

Paulo Leitão (Autor) Outra; Armando W. Colombo (Autor) Outra; Francisco José de Oliveira Restivo (Autor) FEUP; Ronald Schoop (Autor) Outra

Ata de Conferência Internacional

Título: Proceedings of the INDIN 2003, 1st IEEE International Conference on Industrial Informatics

Páginas: 263-272

INDIN 2003, 1st IEEE International Conference on Industrial Informatics

Banff, Alberta, Canada, Agosto 21-24, 2003

Indexação

ISI Web of Knowledge - 5 Citações

ISI Web of Science

Scopus

INSPEC

Classificação Científica

FOS: Ciências da engenharia e tecnologias > Engenharia electrotécnica, electrónica e informática

CORDIS: Ciências Tecnológicas > Engenharia > Engenharia de controlo

Outras Informações

ID Authenticus: P-000-JVQ

Abstract (EN): 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 10