Leitão, PauloColombo, Armando W.2010-01-272010-01-272006Leitão, Paulo; Colombo, Armando W. (2006). Petri net based methodology for the development of collaborative production systems. In Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’06). Prague, Czech Republic. p.819-826. ISBN: 978-0-7803-9758-3978-0-7803-9758-3http://hdl.handle.net/10198/1528Indexado ISIThis paper proposes a methodology for the development of collaborative (agent-based) production systems, using High-Level Petri nets. The proposed methodology supports the development life-cycle from specifications analysis through to design-validation and implementation of collaborative and re-configurable production systems and their control systems, in an integrated manner. It covers a wide spectrum of application domains, ranging from intelligent mechatronic devices to multi-agent distributed manufacturing control systems.engManufacturing control systemsPetri netsMulti-agent systemsconference object