Publicação
A formal validation approach for holonic control system specifications
| Resumo: | The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacluring world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifications of holonic control systems assumes a critical role. This paper discusses the formal validation of the Petri Net models designed to represent the behaviour and specifications of the holon classes defined at ADACOR architecture. |
|---|---|
| Autores principais: | Leitão, Paulo |
| Outros Autores: | Colombo, Armando W.; Restivo, Francisco |
| Assunto: | Holonic manufacturing systems Petri nets Intelligent manufacturing control |
| Ano: | 2003 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso restrito |
| Instituição associada: | Instituto Politécnico de Bragança |
| Idioma: | inglês |
| Origem: | Biblioteca Digital do IPB |
| Resumo: | The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacluring world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifications of holonic control systems assumes a critical role. This paper discusses the formal validation of the Petri Net models designed to represent the behaviour and specifications of the holon classes defined at ADACOR architecture. |
|---|