A carregar...
Publicação
A formal validation approach for holonic control system specifications
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 630.57 KB | Adobe PDF |
Orientador(es)
Resumo(s)
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.
Descrição
Indexado ISI
Palavras-chave
Holonic manufacturing systems Petri nets Intelligent manufacturing control
Contexto Educativo
Citação
Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco (2003). A formal validation approach for holonic control system specifications. In Proceedings of the 9th IEEE International Conference on Emerging Technologies and Factory Automation. Lisboa, Portugal. p.203-210. ISBN: 0-7803-7937-3