Michael Köhler
List of publications from the DBLP Bibliography Server - FAQ
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 |
1 | Michael Duvigneau | [5] |
2 | Berndt Farwer | [4] [7] [12] [18] |
3 | Manfred Kudlek | [20] |
4 | Olaf Kummer | [5] |
5 | Daniel Moldt | [1] [3] [5] [8] [13] [21] |
6 | Jan Ortmann | [10] [13] |
7 | Heiko Rölke | [1] [2] [3] [5] [6] [8] [9] [11] [16] [17] |
8 | Jörn Schumacher | [5] |
9 | Rüdiger Valk | [5] [8] |
10 | Matthias Wester-Ebbinghaus | [19] [21] |
11 | Frank Wienberg | [5] |