Software development with Petri nets and agents: Approach, frameworks and tool set

摘要

Software development – especially of distributed and concurrent systems – requires sophisticated frameworks and tool support for the individual and collaborative development. We present an approach for the development of such systems, which applies concepts, technologies and techniques from agent and Petri net theory as well as from software engineering. The approach is backed by a set of elaborated frameworks and a powerful tool set.The Petri Net-based Agent-Oriented Software Engineering approach (Paose) follows the multi-agent paradigm and applies Petri net formalisms as implementation languages.Paoseis a comprehensive approach that provides techniques, tools, methods, principles and defined processes.Paosedepends onMulan(Multi-Agent Nets), which is a conceptual framework for a multi-agent platform based on Petri net models.Mulanis modeled and executed inRenew(The Reference Net Workshop), which is an extensible modeling and execution environment for Reference Net-based systems and other modeling techniques. The whole framework landscape constitutes a Petri net IDE (Integrated Development Environment) that supports the development and execution of concurrent and distributed multi-agent systems. The Reference Net formalism includes concepts such as net instances (object-orientation), synchronous channels (communication/synchronization) and a seamless Java integration.In this contribution we present an overview of the frameworks and the tool sets in the context of thePaoseapproach. We focus in detail on the highlights and the IDE features ofRenew, without which the collaborative development of distributedPaose-based software would not be feasible.