A formal specification approach for holonic control systems: the ADACOR case

Paulo Leitao, Armando W. Colombo and Francisco Restivo

International Journal of Manufacturing Technology and Management, 2006, vol. 8, issue 1/2/3, 37-57

Abstract: 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.

Keywords: Petri nets; modelling; intelligent manufacturing control; flexible manufacturing systems; FMS; holonic manufacturing; holonic control systems; distributed manufacturing; distributed control. (search for similar items in EconPapers)
Date: 2006
References: Add references at CitEc
Citations:

Downloads: (external link)
http://www.inderscience.com/link.php?id=8790 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ids:ijmtma:v:8:y:2006:i:1/2/3:p:37-57

Access Statistics for this article

More articles in International Journal of Manufacturing Technology and Management from Inderscience Enterprises Ltd
Bibliographic data for series maintained by Sarah Parker ().