| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 182.98 KB | Adobe PDF |
Advisor(s)
Abstract(s)
Distributed manufacturing control systems, like holonic control systems, 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 and to synthesize 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 holonic control systems based in Highlevel Petri nets. The proposed approach is tested in the specification of the ADACOR holonic control system.
Description
Keywords
Petri nets Intelligent manufacturing control Flexible manufacturing systems
Citation
Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco (2006). A formal specification approach for holonic control systems: the ADACOR case. International Journal of Manufacturing Technology and Management. ISSN 1741-5195. 8:1-2-3 p.37-57