Petri net based Methodology for the Development of Collaborative Production Systems

This 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.