| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 630.57 KB | Adobe PDF |
Advisor(s)
Abstract(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.
Description
Indexado ISI
Keywords
Holonic manufacturing systems Petri nets Intelligent manufacturing control
Citation
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