Applying process mining to interaction analysis of Petri net-based multi-agent models - Cabac, Lawrence; Knaak, Nicolas 1972-; Moldt, Daniel (Univ., Bibliothek des Dep. Informatik, 2006)