Title :
A formal validation approach for holonic control system specifications
Author :
Leitao, Paulo ; Colombo, Armando W. ; Restivo, Francisco
Author_Institution :
Polytech. Inst. of Braganca, Portugal
Abstract :
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.
Keywords :
Petri nets; flexible manufacturing systems; formal specification; program verification; Petri nets; behavioural specifications; control software components; decentralisation; formal validation; holonic control system; holonic manufacturing paradigm; modularity; structural specifications; Agile manufacturing; Computer architecture; Control system synthesis; Control systems; Flexible manufacturing systems; Globalization; Manufacturing systems; Mathematical model; Object oriented modeling; Performance analysis;
Conference_Titel :
Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference
Print_ISBN :
0-7803-7937-3
DOI :
10.1109/ETFA.2003.1247707
