Publicação
A formal specification approach for holonic control systems: the ADACOR case
| Resumo: | 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. |
|---|---|
| Autores principais: | Leitão, Paulo |
| Outros Autores: | Colombo, Armando W.; Restivo, Francisco |
| Assunto: | Petri nets Intelligent manufacturing control Flexible manufacturing systems |
| Ano: | 2006 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso restrito |
| Instituição associada: | Instituto Politécnico de Bragança |
| Idioma: | inglês |
| Origem: | Biblioteca Digital do IPB |
| Resumo: | 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. |
|---|