A formal validation approach for holonic control system specifications

• Type: Article in International Conference Proceedings Book
• Date: 2003

Authors

Paulo Leitão (Author) Other; Armando W. Colombo (Author) Other; Francisco José de Oliveira Restivo (Author) FEUP

Conference proceedings International

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

Pages: 203-210

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

Lisboa - Portugal, 16 a 19 de Setembro de 2003

Indexing

ISI Web of Knowledge - 0 Citations

ISI Web of Science

Scopus

INSPEC

Scientific classification

FOS: Engineering and technology > Electrical engineering, Electronic engineering, Information engineering

CORDIS: Technological sciences > Engineering > Control engineering

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 8