Leitão, PauloColombo, Armando W.Restivo, Francisco2010-01-272010-01-272003Leitã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-30-7803-7937-3http://hdl.handle.net/10198/1542Indexado ISIThe 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.engHolonic manufacturing systemsPetri netsIntelligent manufacturing controlconference paper