A formal validation approach for holonic control system specifications

• 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

Ata de Conferência Internacional

Título: Proceedings of the 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'03)

Páginas: 203-210

9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'03)

Lisboa - Portugal, 16 a 19 de Setembro de 2003

Indexação

ISI Web of Knowledge - 0 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-JJX

DOI: 10.1109/ETFA.2003.1247707

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

Idioma: Inglês

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

Nº de páginas: 8