Formal specification of ADACOR holonic control system : coordination models
The formal specification of agent-based and holonic manufacturing control systems assumes a critical role in order to understand and synthesize those complex systems. This paper presents the formal specification of the coordination models for the ADACOR holonic control system. For this purpose, it i...
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | book |
| Language: | eng |
| Published: |
2005
|
| Subjects: | |
| Online Access: | https://repositorio-aberto.up.pt/handle/10216/25263 |
| Country: | Portugal |
| Oai: | oai:repositorio-aberto.up.pt:10216/25263 |