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.
| Original language | English |
|---|---|
| Pages (from-to) | 37-57 |
| Number of pages | 21 |
| Journal | International Journal of Manufacturing Technology and Management |
| Volume | 8 |
| Issue number | 1-3 |
| DOIs | |
| Publication status | Published - 2006 |
| Externally published | Yes |
UN SDGs
This output contributes to the following UN Sustainable Development Goals (SDGs)
-
SDG 9 Industry, Innovation, and Infrastructure
Keywords
- Flexible manufacturing systems
- Intelligent manufacturing control
- Modelling
- Petri nets
Fingerprint
Dive into the research topics of 'A formal specification approach for holonic control systems: the ADACOR case'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver