A formal validation approach for holonic control system specifications

Author

Leitao, Paulo ; Colombo, Armando W. ; Restivo, Francisco

Author_Institution

Polytech. Inst. of Braganca, Portugal

Volume

1

fYear

2003

fDate

16-19 Sept. 2003

Firstpage

203

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference

Print_ISBN

0-7803-7937-3

Type

conf

DOI

10.1109/ETFA.2003.1247707

Filename

1247707