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

• 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; Ronald Schoop (Author) Other

Conference proceedings International

Title: Proceedings of the INDIN 2003, 1st IEEE International Conference on Industrial Informatics

Pages: 263-272

INDIN 2003, 1st IEEE International Conference on Industrial Informatics

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

Indexing

ISI Web of Knowledge - 5 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-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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 10