An Extensible Editor and Simulation Engine for Petri Nets: Renew O Kummer, F Wienberg, M Duvigneau, J Schumacher, M Köhler, D Moldt, ... Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004 | 187 | 2004 |
Renew–the reference net workshop O Kummer, F Wienberg, M Duvigneau, M Köhler, D Moldt, H Rölke Tool demonstrations, 21st international conference on application and theory …, 2000 | 159 | 2000 |
Modelling the structure and behaviour of Petri net agents M Köhler, D Moldt, H Rölke Applications and Theory of Petri Nets 2001: 22nd International Conference …, 2001 | 155 | 2001 |
Properties of object Petri nets M Köhler, H Rölke Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004 | 88 | 2004 |
Hornets: Nets within nets combined with net algebra M Köhler-Bußmeier Applications and Theory of Petri Nets: 30th International Conference, PETRI …, 2009 | 67 | 2009 |
Concurrency in mobile object net systems M Köhler, H Rölke Fundamenta Informaticae 54 (2-3), 221-235, 2003 | 47 | 2003 |
Safeness for object nets M Köhler-Bußmeier, F Heitmann Fundamenta Informaticae 101 (1-2), 29-43, 2010 | 31 | 2010 |
Reference and value semantics are equivalent for ordinary object Petri nets M Köhler, H Rölke International Conference on Application and Theory of Petri Nets, 309-328, 2005 | 30 | 2005 |
On the expressiveness of communication channels for object nets M Kohler-Bußmeier, F Heitmann Fundamenta Informaticae 93 (1-3), 205-219, 2009 | 29 | 2009 |
A formal model of multi-agent organisations M Köhler Fundamenta Informaticae 79 (3-4), 415-430, 2007 | 28 | 2007 |
Liveness of safe object nets M Köhler-Bußmeier, F Heitmann Fundamenta Informaticae 112 (1), 73-87, 2011 | 25 | 2011 |
Object nets for mobility M Köhler, B Farwer Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 2007 | 24 | 2007 |
A formal model for organisational structures behind process-aware information systems M Köhler-Bußmeier, M Wester-Ebbinghaus, D Moldt Transactions on Petri Nets and Other Models of Concurrency II: Special Issue …, 2009 | 22 | 2009 |
Reachable markings of object Petri nets M Köhler Fundamenta Informaticae 79 (3-4), 401-413, 2007 | 21 | 2007 |
Socionic multi-agent systems based on reflexive petri nets and theories of social self-organisation M Köhler, R Langer, R Von Lüde, D Moldt, H Rölke, R Valk Journal of artificial societies and social simulation 10 (1), 2007 | 20 | 2007 |
From multi-agent to multi-organization systems: Utilizing middleware approaches M Wester-Ebbinghaus, D Moldt, M Köhler-Bußmeier Engineering Societies in the Agents World IX: 9th International Workshop …, 2009 | 19 | 2009 |
Dynamic transition refinement M Köhler, H Rölke Electronic Notes in Theoretical Computer Science 175 (2), 119-134, 2007 | 19 | 2007 |
A survey of decidability results for elementary object systems M Köhler-Bußmeier Fundamenta Informaticae 130 (1), 99-123, 2014 | 18 | 2014 |
Objektnetze: Definition und Eigenschaften M Köhler Gesellschaft für Informatik, 2005 | 16 | 2005 |
Modelling mobility and mobile agents using nets within nets M Köhler, H Rölke DAIMI 31 (561), 141-157, 2002 | 16 | 2002 |