dblp.uni-trier.dewww.uni-trier.de

Michael Köhler-Bußmeier

Michael Köhler

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
21EEMichael 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
20EEMichael Köhler-Bußmeier, Manfred Kudlek: Linear Properties of Zero-Safe Nets with Debit Tokens. Fundam. Inform. 85(1-4): 329-342 (2008)
2007
19EEMichael Köhler, Matthias Wester-Ebbinghaus: Closing the Gap Between Organizational Models and Multi-Agent System Deployment. CEEMAS 2007: 307-309
18EEMichael Köhler, Berndt Farwer: Object Nets for Mobility. ICATPN 2007: 244-262
17EEMichael Köhler, Heiko Rölke: Web Service Orchestration with Super-Dual Object Nets. ICATPN 2007: 263-280
16EEMichael Köhler, Heiko Rölke: Dynamic Transition Refinement. Electr. Notes Theor. Comput. Sci. 175(2): 119-134 (2007)
15EEMichael Köhler: The Reachability Problem for Object Nets. Fundam. Inform. 79(3-4): 401-413 (2007)
14EEMichael 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
12EEBerndt Farwer, Michael Köhler: Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. Fundam. Inform. 72(1-3): 109-122 (2006)
11EEMichael 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
9EEMichael Köhler, Heiko Rölke: Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets. ICATPN 2005: 309-328
8EEMichael 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
7EEBerndt Farwer, Michael Köhler: Petri Net Processes for Zero-Safe Nets. Fundam. Inform. 67(1-3): 65-75 (2005)
2004
6EEMichael Köhler, Heiko Rölke: Properties of Object Petri Nets. ICATPN 2004: 278-297
5EEOlaf 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
4EEBerndt Farwer, Michael Köhler: Mobile Object-Net Systems and their Processes. Fundam. Inform. 60(1-4): 113-129 (2004)
2003
3EEMichael Köhler, Daniel Moldt, Heiko Rölke: Modelling Mobility and Mobile Agents Using Nets within Nets. ICATPN 2003: 121-139
2EEMichael Köhler, Heiko Rölke: Concurrency in Mobile Object Net Systems. Fundam. Inform. 54(2-3): 221-235 (2003)
2001
1EEMichael Köhler, Daniel Moldt, Heiko Rölke: Modelling the Structure and Behaviour of Petri Net Agents. ICATPN 2001: 224-241

Coauthor Index

1Michael Duvigneau [5]
2Berndt Farwer [4] [7] [12] [18]
3Manfred Kudlek [20]
4Olaf Kummer [5]
5Daniel Moldt [1] [3] [5] [8] [13] [21]
6Jan Ortmann [10] [13]
7Heiko Rölke [1] [2] [3] [5] [6] [8] [9] [11] [16] [17]
8Jörn Schumacher [5]
9Rüdiger Valk [5] [8]
10Matthias Wester-Ebbinghaus [19] [21]
11Frank Wienberg [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)