A Formal Specification Approach for Holonic Control Systems: the ADACOR Case

• Type: Article in International Scientific Journal
• Date: 2006

Authors

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

Journal

Title: International Journal of Manufacturing Technology and Management

Vol. 8 No. 1

Pages: 37-57

ISSN: 1368-2148

Publisher: Inderscience Publishers

Indexing

Scopus

COMPENDEX

INSPEC

Scientific classification

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

CORDIS: Technological sciences > Engineering > Control engineering > Automation

Other information

Abstract (EN): Distributed manufacturing control systems, such as Holonic Control Systems (HCSs), are difficult to apprehend and to design, due to the presence of many autonomous, concurrent and asynchronous activities. A formal specification methodology allowing to understand, to synthesise the system specifications and to validate the correctness of their models would play a key role in its design and later in its implementation. This paper presents an approach to the formal specification of HCSs based on high-level Petri nets. The proposed approach is tested in the specification of the ADACOR HCS.

Language: Portuguese

Type (Professor's evaluation): Scientific