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...
| Autor principal: | |
|---|---|
| Outros Autores: | , |
| Formato: | book |
| Idioma: | eng |
| Publicado em: |
2005
|
| Assuntos: | |
| Texto completo: | https://repositorio-aberto.up.pt/handle/10216/25263 |
| País: | Portugal |
| Oai: | oai:repositorio-aberto.up.pt:10216/25263 |