In: Lecture Notes in Computer Science : Multiagent System Technologies, Volume 4196, 2006, pages 12-23. 2006. URL: http://dx.doi.org/10.1007/118722832.
Abstract: Process mining and multi-agent models are powerful techniques for the analysis of processes and organizations. However, the integration of both fields has seldom been considered due to the lack of common conceptual background. We propose to close this gap by using Petri nets as an operational semantics and consider process mining a useful addition to monitor and debug multi-agent systems in the development phase. Mining results can be represented in the formalized form of Petri nets that allows to validate or verify the actual behavior. On our way to mining complex interactions within (simulated) organizations, we present a plug-in extension of our Petri nets-based agent platform Mulan/Capa for recording interaction logs. Using process mining, the logs can be mapped by some intermediate steps to agent protocols e.g. represented as AgentUML interaction protocol diagrams. These diagrams are a descriptive representation form that combines organizational and control flow information. Furthermore, they can be mapped to executable Petri nets, thus allowing to feed mining results back into the design phase.
Keywords: agent interactions; conversations; high-level Petri nets; interaction mining; mining; multi-agent systems; Mulan; modeling; nets-within-nets; process mining; reference nets; Renew; simulation.