| 2009 |
|---|
| 21 | EE | Michael Köhler-Bußmeier,
Matthias Wester-Ebbinghaus,
Daniel Moldt:
A Formal Model for Organisational Structures behind Process-Aware Information Systems.
T. Petri Nets and Other Models of Concurrency 2: 98-114 (2009) |
| 2008 |
|---|
| 20 | EE | Michael Köhler-Bußmeier,
Manfred Kudlek:
Linear Properties of Zero-Safe Nets with Debit Tokens.
Fundam. Inform. 85(1-4): 329-342 (2008) |
| 2007 |
|---|
| 19 | EE | Michael Köhler,
Matthias Wester-Ebbinghaus:
Closing the Gap Between Organizational Models and Multi-Agent System Deployment.
CEEMAS 2007: 307-309 |
| 18 | EE | Michael Köhler,
Berndt Farwer:
Object Nets for Mobility.
ICATPN 2007: 244-262 |
| 17 | EE | Michael Köhler,
Heiko Rölke:
Web Service Orchestration with Super-Dual Object Nets.
ICATPN 2007: 263-280 |
| 16 | EE | Michael Köhler,
Heiko Rölke:
Dynamic Transition Refinement.
Electr. Notes Theor. Comput. Sci. 175(2): 119-134 (2007) |
| 15 | EE | Michael Köhler:
The Reachability Problem for Object Nets.
Fundam. Inform. 79(3-4): 401-413 (2007) |
| 14 | EE | Michael Köhler:
A Formal Model of Multi-Agent Organisations.
Fundam. Inform. 79(3-4): 415-430 (2007) |
| 2006 |
|---|
| 13 | | Michael Köhler,
Daniel Moldt,
Jan Ortmann:
Dynamic Service Composition: A Petri-Net Based Approach.
ICEIS (4) 2006: 159-165 |
| 12 | EE | Berndt Farwer,
Michael Köhler:
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets.
Fundam. Inform. 72(1-3): 109-122 (2006) |
| 11 | EE | Michael Köhler,
Heiko Rölke:
Properties of Super-Dual Nets.
Fundam. Inform. 72(1-3): 245-254 (2006) |
| 2005 |
|---|
| 10 | | Michael Köhler,
Jan Ortmann:
Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets.
CIMCA/IAWTIC 2005: 107-112 |
| 9 | EE | Michael Köhler,
Heiko Rölke:
Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets.
ICATPN 2005: 309-328 |
| 8 | EE | Michael Köhler,
Daniel Moldt,
Heiko Rölke,
Rüdiger Valk:
Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets.
Socionics 2005: 51-67 |
| 7 | EE | Berndt Farwer,
Michael Köhler:
Petri Net Processes for Zero-Safe Nets.
Fundam. Inform. 67(1-3): 65-75 (2005) |
| 2004 |
|---|
| 6 | EE | Michael Köhler,
Heiko Rölke:
Properties of Object Petri Nets.
ICATPN 2004: 278-297 |
| 5 | EE | Olaf Kummer,
Frank Wienberg,
Michael Duvigneau,
Jörn Schumacher,
Michael Köhler,
Daniel Moldt,
Heiko Rölke,
Rüdiger Valk:
An Extensible Editor and Simulation Engine for Petri Nets: Renew.
ICATPN 2004: 484-493 |
| 4 | EE | Berndt Farwer,
Michael Köhler:
Mobile Object-Net Systems and their Processes.
Fundam. Inform. 60(1-4): 113-129 (2004) |
| 2003 |
|---|
| 3 | EE | Michael Köhler,
Daniel Moldt,
Heiko Rölke:
Modelling Mobility and Mobile Agents Using Nets within Nets.
ICATPN 2003: 121-139 |
| 2 | EE | Michael Köhler,
Heiko Rölke:
Concurrency in Mobile Object Net Systems.
Fundam. Inform. 54(2-3): 221-235 (2003) |
| 2001 |
|---|
| 1 | EE | Michael Köhler,
Daniel Moldt,
Heiko Rölke:
Modelling the Structure and Behaviour of Petri Net Agents.
ICATPN 2001: 224-241 |
