Inference of Reversible Languages
Journal of the ACM (JACM)
Data Mining: Introductory and Advanced Topics
Data Mining: Introductory and Advanced Topics
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Process Mining: Discovering Direct Successors in Process Logs
DS '02 Proceedings of the 5th International Conference on Discovery Science
Automated Assistants for Analyzing Team Behaviors
Autonomous Agents and Multi-Agent Systems
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Concurrent architecture for a multi-agent platform
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
A proposal for structuring Petri net-based agent interaction protocols
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Conversation mining in multi-agent systems
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Modeling dynamic architectures using nets-within-nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
The prom framework: a new era in process mining tool support
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Towards a distributed tool platform based on mobile agents
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Mining staff assignment rules from event-based data
BPM'05 Proceedings of the Third international conference on Business Process Management
A Monitoring Toolset for Paose
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering
Transactions on Petri Nets and Other Models of Concurrency I
Requirements and tools for the debugging of multi-agent systems
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Hi-index | 0.00 |
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.