Follow
Michael Köhler-Bußmeier
Michael Köhler-Bußmeier
Other namesMichael Köhler
University of Applied Science Hamburg
Verified email at haw-hamburg.de - Homepage
Title
Cited by
Cited by
Year
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
1872004
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
1592000
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
1552001
Properties of object Petri nets
M Köhler, H Rölke
Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004
882004
Hornets: Nets within nets combined with net algebra
M Köhler-Bußmeier
Applications and Theory of Petri Nets: 30th International Conference, PETRI …, 2009
672009
Concurrency in mobile object net systems
M Köhler, H Rölke
Fundamenta Informaticae 54 (2-3), 221-235, 2003
472003
Safeness for object nets
M Köhler-Bußmeier, F Heitmann
Fundamenta Informaticae 101 (1-2), 29-43, 2010
312010
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
302005
On the expressiveness of communication channels for object nets
M Kohler-Bußmeier, F Heitmann
Fundamenta Informaticae 93 (1-3), 205-219, 2009
292009
A formal model of multi-agent organisations
M Köhler
Fundamenta Informaticae 79 (3-4), 415-430, 2007
282007
Liveness of safe object nets
M Köhler-Bußmeier, F Heitmann
Fundamenta Informaticae 112 (1), 73-87, 2011
252011
Object nets for mobility
M Köhler, B Farwer
Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 2007
242007
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
222009
Reachable markings of object Petri nets
M Köhler
Fundamenta Informaticae 79 (3-4), 401-413, 2007
212007
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
202007
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
192009
Dynamic transition refinement
M Köhler, H Rölke
Electronic Notes in Theoretical Computer Science 175 (2), 119-134, 2007
192007
A survey of decidability results for elementary object systems
M Köhler-Bußmeier
Fundamenta Informaticae 130 (1), 99-123, 2014
182014
Objektnetze: Definition und Eigenschaften
M Köhler
Gesellschaft für Informatik, 2005
162005
Modelling mobility and mobile agents using nets within nets
M Köhler, H Rölke
DAIMI 31 (561), 141-157, 2002
162002
The system can't perform the operation now. Try again later.
Articles 1–20