Bibliographie

Michael Köhler-Bußmeier (née Köhler)

Coéditeur

2016

Thomas Wagner, Daniel Moldt, and Michael Köhler-Bußmeier.
From eHornets to hybrid agent and workflow systems.
In Cabac et al. (éd.), Petri Nets and Software Engineering. International Workshop, PNSE'16, Toru\'n, Poland, June 20-21, 2016. Proceedings, pages 307-326.

2014

Michael Köhler-Bußmeier.
On the complexity of the reachability problem for safe, elementary Hornets.
Fundamenta Informaticae, 129:101-115, 2014.
Dedicated to the Memory of Professor Manfred Kudlek.  [link]

Michael Köhler-Bußmeier.
A survey on decidability results for elementary object systems.
Fundamenta Informaticae, 130(1):99-123, 2014.  [link]

2013

Frank Heitmann and Michael Köhler-Bußmeier.
Structural and dynamic restrictions of elementary object systems.
In Marcin Szczuka, Ludwik Czaja, and Magdalena Kacprzak, editors, Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming (CS&P), number 1032 in CEUR Workshop Proceedings, pages 181-192, Aachen, 2013.  [link]

Michael Köhler-Bußmeier and Frank Heitmann.
Complexity results for elementary Hornets.
In Colom and Desel (éd.), Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings, pages 150-169.  [link]

Michael Köhler-Bußmeier.
Defining multi-party compromises using unfoldings of workflow nets.
Fundamenta Informaticae, 128(1-2):97-111, 2013.  [link]

Matthias Wester-Ebbinghaus and Michael Köhler-Bußmeier.
Model-driven middleware support for team-oriented process management.
In T. Petri Nets and Other Models of Concurrency (éd.), Transactions on Petri Nets and Other Models of Concurrency VIII, pages 159-179.

2012

Frank Heitmann and Michael Köhler-Bußmeier.
P- and t-systems in the nets-within-nets formalism.
In S. Haddad and L. Pomello, editors, PETRI NETS 2012, volume 7347 of Lecture Notes in Computer Science, pages 368-387. Springer-Verlag, 2012.

Frank Heitmann and Michael Köhler-Bußmeier.
A mobility logic for object net systems.
In B. Farwer, editor, Proceedings of the International Workshop on Logic, Agents, and Mobilitty (LAM'12), volume 853, pages 19-34. CEUR Workshop Proceedings, 2012.
urn:nbn:de:0074-853-4.

Michael Köhler-Bußmeier and Frank Heitmann.
Conservative elementary object systems.
Fundamenta Informaticae, 120(3-4):325-339, 2012.

Michael Köhler-Bußmeier.
Analysing SONAR model transformations.
In Rafael Accorsi, Tadao Murata, and Silvio Ranise, editors, Workshop on Petri Net-based Security (WOOPS 2012), volume 853, pages 55-70. CEUR Workshop Proceedings, 2012.
urn:nbn:de:0074-853-4.

Michael Köhler-Bußmeier.
Negotiating inter-organisational processes: An approach based on unfoldings and workflow nets.
In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2012), volume 928. CEUR Workshop Proceedings, 2012.  [link]

Michael Köhler-Bußmeier.
On the complexity of safe, elementary Hornets.
In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2012), volume 928. CEUR Workshop Proceedings, 2012.  [link]

Michael Köhler-Bußmeier and Matthias Wester-Ebbinghaus.
Model-driven middleware support for team-oriented process management.
In Cabac et al. (éd.), Petri Nets and Software Engineering. International Workshop PNSE'12, Hamburg, Germany, June 2012. Proceedings, pages 93-108.

2011

Frank Heitmann and Michael Köhler-Bußmeier.
On defining conflict-freedom for object nets.
In B. Muller and M. Köhler-Bußmeier, editors, Proceedings of the International Workshop on Logic, Agents, and Mobility (LAM 2011), 2011.

Michael Köhler-Bußmeier and Frank Heitmann.
Liveness of safe object nets.
Fundamenta Informaticae, 112(1):73-87, 2011.

Michael Köhler-Bußmeier and Frank Heitmann.
Liveness and reachability for elementary object systems.
In Marcin Szczuka, Ludwik Czaja, Andrzej Skowron, and Magdalena Kacprzak, editors, Proceedings of the Internationa Workshop on Concurrency, Specification, and Programming (CS&P 2011). Biaystok University of Technology, 2011.

Michael Köhler-Bußmeier and Frank Heitmann.
Restricting generalised state machines.
In Marcin Szczuka, Ludwik Czaja, Andrzej Skowron, and Magdalena Kacprzak, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2011). Biaystok University of Technology, 2011.

Michael Köhler-Bußmeier.
A survey of elementary object systems: Decidability results.
Technical report, Universität Hamburg, Fachbereich Informatik, 2011.  [link]

2010

Simon Adameit, Tobias Betz, Lawrence Cabac , Florian Hars, Marcin Hewelt, Michael Köhler-Bußmeier, Daniel Moldt, Dimitri Popov, José Quenum, Axel Theilmann, Thomas Wagner, Timo Warns, and Lars Wüstenberg.
Herold - agent-oriented, policy-based network security management.
In Future Security, 5th Security Research Conference, Berlin; 2010, 2010.

Michael Köhler-Bußmeier.
Koordinierte Selbstorganisation und selbstorganisierte Koordination: Eine formale Spezifikation reflexiver Selbstorganisation in Multiagentensystemen unter spezieller Berücksichtigung der sozialwissenschaftlichen Perspektive.
Habilitationsschrift, University of Hamburg, 2009.  [link]

Michael Köhler-Bußmeier.
A survey of decidability results for elementary object systems.
In B. Farwer, editor, Proceedings of the International Workshop on Logic, Agents, and Mobilitty (LAM 2010), 2010.

Michael Köhler-Bußmeier and Frank Heitmann.
Complexity of LTL model-checking for safe object nets.
In B. Farwer, editor, Proceedings of the International Workshop on Logic, Agents, and Mobilitty (LAM 2010), 2010.

Michael Köhler-Bußmeier and Frank Heitmann.
Safeness for object nets.
Fundamenta Informaticae, 101(1-2):29-43, 2010.  [link]

Michael Köhler-Bußmeier and Frank Heitmann.
Liveness of safe object nets.
In Louchka Popova-Zeugmann, H.-D. Burkhard, Ludwik Czaja, W. Penczek, G. Lindemann, A. Skowron, and Z. Suraj, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming, CS&P'2010, Helenenau, September 27-29 (Volume 1), volume 237 of Informatik-Bericht, pages 198-209. Humboldt-Universität zu Berlin, sep 2010.  [link]

Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, and Daniel Moldt.
Generating executable multi-agent system prototypes from sonar specifications.
In Nicoletta Fornara and George Vouros, editors, 11th Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, COIN@Mallow 2010, pages 82-97, 2010.

Michael Köhler-Bußmeier and Endri Deliu.
Sonar/oredi: A tool for creation and deployment of organisation models.
In Jürgen Dix and Witteveen Cees, editors, Conference on Multi-Agent System Technologies, MATES 2010, volume 6251 of Lecture Notes in Artificial Intelligence, pages 76-87, 2010.

Daniel Moldt, Michael Köhler-Bußmeier, Axel Theilmann, Simon Adameit, Tobias Betz, Lawrence Cabac , Florian Hars, Marcin Hewelt, Dimitri Popov, José Quenum, Thomas Wagner, Timo Warns, and Lars Wüstenberg.
Modelling distributed network security in a Petri net and agent-based approach.
In Jürgen Dix and Cees Witteveen, editors, Multiagent System Technologies. 8th German Conference, MATES 2010, Leipzig, Germany, September 27-28, 2010. Proceedings, volume 6251 of Lecture Notes in Artificial Intelligence, pages 209-220, Berlin, Heidelberg, New York, September 2010. Springer-Verlag.

Matthias Wester-Ebbinghaus, Daniel Moldt, and Michael Köhler-Bußmeier.
Modeling organizational units as modular components of systems of systems.
In Kurt Jensen, Susanna Donatelli, and Maciej Koutny, editors, Transactions on Petri Nets and Other Models of Concurrency IV, volume 6550 of Lecture Notes in Computer Science, pages 174-198. Springer, 2010.

2009

Michael Köhler-Bußmeier.
Hornets: Nets within nets combined with net algebra.
In Karsten Wolf and Giuliana Franceschinis, editors, International Conference on Application and Theory of Petri Nets (ICATPN'2009), volume 5606 of Lecture Notes in Computer Science, pages 243-262. Springer-Verlag, 2009.

Michael Köhler-Bußmeier.
Emergenz, Selbstorganisation und Komplexität.
In v. Lüde et al. (éd.), Selbstorganisation und Governance in künstlichen und sozialen Systemen, chapter 2.

Michael Köhler-Bußmeier.
Koordinierung in Agentensystemen.
In v. Lüde et al. (éd.), Selbstorganisation und Governance in künstlichen und sozialen Systemen, chapter 3.

Roman Langer and Michael Köhler-Bußmeier.
Der Konstitutionsmechanismus sozialer Systeme.
In v. Lüde et al. (éd.), Selbstorganisation und Governance in künstlichen und sozialen Systemen, chapter 6.

Michael Köhler-Bußmeier.
Ein Rahmenmodell reflexiv selbstorganisierender Systeme.
In v. Lüde et al. (éd.), Selbstorganisation und Governance in künstlichen und sozialen Systemen, chapter 7.

Michael Köhler-Bußmeier.
SONAR: Eine sozialtheoretisch fundierte Multiagentensystemarchitektur.
In v. Lüde et al. (éd.), Selbstorganisation und Governance in künstlichen und sozialen Systemen, chapter 8-12.

Michael Köhler-Bußmeier and Frank Heitmann.
On the expressiveness of communication channels for object nets.
Fundamenta Informaticae, 93(1-3):205-219, 2009.

Michael Köhler-Bußmeier, Daniel Moldt, and Matthias Wester-Ebbinghaus.
A formal model for organisational structures behind process-aware information systems.
In Jensen and van der Aalst (éd.), Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems, pages 98-115.

Michael Köhler-Bußmeier and Daniel Moldt.
Analysis of mobile agents using invariants of object nets.
Electronic Communications of the EASST: Special Issue on Formal Modeling of Adaptive and Mobile Processes, 12, 2009.
http://www.easst.org/eceasst/.

Michael Köhler-Bußmeier and Matthias Wester-Ebbinghaus.
Sonar*: A multi-agent infrastructure for active application architectures and inter-organisational information systems.
In Lars Braubach, Wiebke van der Hoek, Paolo Petta, and Alexander Pokahr, editors, Multiagent System Technologies. 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings, volume 5774 of Lecture Notes in Artificial Intelligence, pages 248-257, Berlin, Heidelberg, New York, September 2009. Springer-Verlag.

Michael Köhler-Bußmeier and Matthias Wester-Ebbinghaus.
A Petri net based prototype for MAS organisation middleware.
In Duvigneau and Moldt (éd.), Proceedings of the Fifth International Workshop on Modeling of Objects, Components and Agents, MOCA'09, Hamburg, pages 29-44.

Michael Köhler-Bußmeier and Frank Heitmann.
On defining safeness for object nets.
In L. Czaja and M. Szczuka, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming, CS&P'2009 (Volume 1), pages 265-276. Warsaw University, 2009.  [link]

Michael Köhler-Bußmeier and Matthias Wester-Ebbinghaus.
Automatic generation of distributed team formation algorithms from organizational models.
In Jomi Fred Hübner, Eric Matson, Olivier Boissier, and Virginia Dignum, editors, Coordination, Organizations, Institutions, and Norms in Agent Systems IV, volume 5428 of Lecture Notes in Artificial Intelligence, pages 64-79, 2009.

Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier, and Daniel Moldt.
From multi-agent to multi-organization systems: Utilizing middleware approaches.
In Alexander Artikis, Gauthier Picard, and Laurent Vercouter, editors, Engineering Societies in the Agents World IX, volume 5485 of Lecture Notes in Computer Science, pages 46-65, 2009.

2008

Michael Köhler-Bußmeier and Roman Langer.
Agentensysteme als reflexive, soziale Handlungsformen.
Bericht des Fachbereichs Informatik 340, Universität Hamburg, Department Informatik, 2008.

Michael Köhler-Bußmeier and Matthias Wester-Ebbinghaus.
Automatic generation of distributed team formation algorithms from organizational models.
In Jomi Hübner and Olivier Boissier, editors, Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, COIN'08, 2008.  [link]

Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier, and Daniel Moldt.
From multi-agent to multi-organization systems: Utilizing middleware approaches.
In Alexander Artikis, Gauthier Picard, and Laurent Vercouter, editors, International Workshop Engineering Societies in the Agents World (ESAW 08), 2008.

Michael Köhler-Bußmeier and Frank Heitmann.
On the expressiveness of communication channels for object nets.
In G. Lindemann, H.-D. Burkhard, L. Czaja, W. Penczek, A. Salwicki, H. Schlingloff, A. Skowron, and Z. Suraj, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming CS&P 2008 (Volume 2), pages 253-264. Humboldt-Universität zu Berlin, Informatik-Berichte 225, 2008.  [link]

2007

Michael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
Socionic multi-agent systems based on reflexive petri nets and theories of social self-organisation.
Journal of Artificial Societies and Social Simulation, 10(1), 2007.  [link]

Michael Köhler and Berndt Farwer.
Object nets for mobility.
In J. Kleijn and A. Yakovlev, editors, International Conference on Application and Theory of Petri Nets 2007, volume 4546 of Lecture Notes in Computer Science, pages 244-262. Springer-Verlag, 2007.

Michael Köhler and Heiko Rölke.
Web service orchestration with super-dual object nets.
In J. Kleijn and A. Yakovlev, editors, International Conference on Application and Theory of Petri Nets 2007, volume 4546 of Lecture Notes in Computer Science, pages 263-280. Springer-Verlag, 2007.

Michael Köhler and Matthias Wester-Ebbinghaus.
Petri net-based specification and deployment of organizational models.
In Moldt et al. (éd.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 67-81.

Michael Köhler.
A formal model of multi-agent organisations.
Fundamenta Informaticae, 79(3-4):415 - 430, 2007.

Michael Köhler.
Reachable markings of object Petri nets.
Fundamenta Informaticae, 79(3-4):401 - 413, 2007.

Michael Köhler and Matthias Wester-Ebbinghaus.
Closing the gap between organizational models and multi-agent system deployment.
In Multi-Agent Systems and Applications V, volume 4696 of Lecture Notes in Artificial Intelligence, pages 307-309. Springer-Verlag, 2007.

Michael Köhler and Heiko Rölke.
Dynamic transition refinement.
Electronic Notes in Theoretical Computer Science, 175:119-134, June 2007.  [link]

Michael Köhler and Manfred Kudlek.
Zero-safe nets with debit tokens.
In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2007), 2007.

2006

Michael Köhler and Heiko Rölke.
Properties of super-dual nets.
Fundamenta Informaticae, 72(1-3):245-254, 2006.

Michael Köhler and Berndt Farwer.
Modelling global and local name spaces for mobile agents using object nets.
Fundamenta Informaticae, 72(1-3):109-122, 2006.

Michael Köhler and Heiko Rölke.
Dynamic transition refinement.
In Proceedings of the Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA), Technical Report ITI-06-07, Department of Computer Science, University of Málaga, pages 117-132, 2006.

Michael Köhler.
Formalising multi-agent organisations.
In H.-D. Burkhard, L. Czaja, G. Lindemann, and A. Skowron, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2006), 2006.

Michael Köhler.
Reachable markings of object Petri nets.
In H.-D. Burkhard, L. Czaja, G. Lindemann, and A. Skowron, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2006), 2006.

Michael Köhler and Rüdiger Valk.
Theoriebewertung und Modellerstellung: ein Erfahrungsbericht.
In R. Valk, editor, Ordnungsbildung und Erkenntnisprozesse. Hamburg University Press, 2006.

Michael Köhler, Daniel Moldt, and Jan Ortmann.
Dynamic service composition: A Petri-net based approach.
In Y. Manolopoulos, J. Filipe, P. Constantopoulos, and J. Cordeiro, editors, Proceedings of the Eighth International Conference on Enterprise Information Systems (ICEIS 2006) - Software Agents and Internet Computing, pages 159-165, 2006.

Michael Köhler.
The reachability problem for object nets.
In Moldt (éd.), Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. MOCA'06, pages 179-198.

Michael Köhler.
Algebraische Erweiterung von Objektnetzen.
In Moldt (éd.), Proceedings of the 13th Workshop Application and Tools for Petri Nets. AWPN'06.

2005

Lawrence Cabac , Michael Duvigneau, Michael Köhler, Kolja Lehmann, Daniel Moldt, Sven Offermann, Jan Ortmann, Christine Reese, Heiko Rölke, and Volker Tell.
PAOSE Settler demo.
In First Workshop on High-Level Petri Nets and Distributed Systems (PNDS) 2005, Vogt-Kölln Str. 30, D-22527 Hamburg, March 2005. Universität Hamburg, Fachbereich Informatik.  [link]

Michael Köhler and Berndt Farwer.
Petri net processes for zero-safe nets.
Fundamenta Informaticae, 67:1-11, 2005.

Michael Köhler and Berndt Farwer.
Modelling global and local name spaces for mobile agents using object nets.
In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2005). University of Warsaw, 2005.

Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
Linking micro and macro description of scalable social systems using reference nets.
In Klaus Fischer, Michael Florian, and Thomas Malsch, editors, Socionics: Sociability of Complex Social Systems, volume 3413 of Lecture Notes in Artificial Intelligence, pages 51-67. Springer-Verlag, 2005.  [link]

Michael Köhler and Heiko Rölke.
Reference and value semantics are equivalent for ordinary object Petri nets.
In Gianfranco Ciardo and Philippe Darondeau, editors, Proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, volume 3536 of Lecture Notes in Computer Science, pages 309-328. Springer-Verlag, June 2005.  [link]

Michael Köhler.
Objektnetze: Definition und Eigenschaften.
In D. Wagner, editor, Ausgezeichnete Informatikdissertationen 2004, volume D-5 of Lecture Notes in Informatics, pages 75-85, 2005.

Michael Köhler.
Objektnetze: Definition und Eigenschaften.
In Farwer and Moldt (éd.), Object Petri Nets, Processes, and Object Calculi, pages 35-42.

Michael Köhler and Jan Ortmann.
Service modelling based on high-level Petri nets.
In Algorithmen und Werkzeuge für Petrinetze (AWPN 2005), 2005.

Michael Köhler and Jan Ortmann.
Formal aspects for service modelling based on high-level Petri nets.
In International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005), 2005.

2004

Lawrence Cabac and Michael Köhler.
Relating higher order reference nets and well-formed nets.
In Proceedings of the International Workshop on Coloured Petri Nets (CPN 2004). Computer Science Department, Aarhus University, 2004.

Berndt Farwer and Michael Köhler.
Mobile object-net systems and their processes.
Fundamenta Informaticae, 60(1-4):113-129, 2004.

Berndt Farwer and Michael Köhler.
Net processes for zero-safe nets.
In G. Lindemann, H.-D. Burkhard, L. Czaja, A. Skowron, H. Schlingloff, and Z. Suraj, editors, Concurrency, Specification, and Programming CS&P 2004, volume 1, Informatik-Bericht Nr. 170, pages 40-51. Humboldt Universität, Berlin, 2004.

Michael Köhler, Heiko Rölke, and Rüdiger Valk.
Structural analysis of mobile agents using invariants of object nets.
In Moldt (éd.), Proceedings of the Third International Workshop on Modelling of Objects, Components, and Agents (MOCA'04).
DAIMI PB: Aarhus, Denmark, October 11-13, number 571.

Michael Köhler.
Objektnetze: Definition und Eigenschaften, volume 1 of Agent Technology - Theory and Applications.
Logos Verlag, Berlin, 2004.  [link]

Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
Petri nets and social science.
Petri Net Newsletter, 67:5-9, 2004.

Michael Köhler and Heiko Rölke.
Properties of Object Petri Nets.
In J. Cortadella and W. Reisig, editors, International Conference on Application and Theory of Petri Nets 2004, volume 3099 of Lecture Notes in Computer Science, pages 278-297. Springer-Verlag, 2004.  [link]

Michael Köhler and Heiko Rölke.
Coordination of mobile agents: The bucket chain-example.
In Proceedings of the International Workshop on Coordination and Petri Nets (PNC 2004), 2004.

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
An extensible editor and simulation engine for Petri nets: Renew.
In Jordi Cortadella and Wolfgang Reisig, editors, Applications and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004, Bologna, Italy, June 2004. Proceedings, volume 3099 of Lecture Notes in Computer Science, pages 484-493, Berlin, Heidelberg, New York, June 2004. Springer.  [link]

2003

Berndt Farwer and Michael Köhler.
Mobile object-net systems and their processes.
In L. Czaja, editor, Concurrency, Specification, and Programming CS&P'2003 (Volume 1), pages 134-149. Warsaw University, 2003.

Michael Köhler.
Mobile object net systems.
In 8. Workshop Algorithmen und Werkzeuge für Petrinetze. Universität Eichstätt, 2003.

Michael Köhler, Roman Langer, Daniel Moldt, and Heiko Rölke.
Pierre Bourdieu: Praxis - Kapital - Habitus.
In v. Lüde et al. (éd.), Sozionik: Modellierung soziologischer Theorie, pages 105-137.

Michael Köhler, Roman Langer, Daniel Moldt, Heiko Rölke, and Daniela Spresny.
Universität Mitteldorf: Ein Modell universitärer Entscheidungsfindung.
In v. Lüde et al. (éd.), Sozionik: Modellierung soziologischer Theorie, pages 213-237.

Michael Köhler, Roman Langer, and Heiko Rölke.
Sozionisches Modellieren mit Petrinetzen. Ein kommentiertes Protokoll.
In v. Lüde et al. (éd.), Sozionik: Modellierung soziologischer Theorie, pages 293-315.

Michael Köhler, Roman Langer, Heiko Rölke, and Rüdiger Valk.
Machtmonopole und soziale Kontrolle - Modellierungen zu Norbert Elias.
In v. Lüde et al. (éd.), Sozionik: Modellierung soziologischer Theorie, pages 47-82.

Michael Köhler, Rolf v. Lüde, Heiko Rölke, and Daniela Spresny.
Machtspiele strategischer Akteure: Ein mikropolitisches Organisationsmodell.
In v. Lüde et al. (éd.), Sozionik: Modellierung soziologischer Theorie, pages 83-103.

Michael Köhler, Marcel Martens, and Heiko Rölke.
Modelling social behaviour with Petri net based multi-agent systems.
In Proceedings of the Workshop MASHO'03 at the KI 2003, 2003.

Michael Köhler, Daniel Moldt, and Heiko Rölke.
Eine sozionische Agentenarchitektur.
In v. Lüde et al. (éd.), Sozionik: Modellierung soziologischer Theorie, pages 347-369.

Michael Köhler, Daniel Moldt, and Heiko Rölke.
A discussion of social norms with respect to the micro-macro link.
In Lindemann et al. (éd.), Proceedings of the Second International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'03).
In Verbindung mit: The Ninth International Conference on Artificial Intelligence and Law (ICAIL 2003), 24-28 June, 2003 Edinburgh, Scotland, UK.

Michael Köhler, Daniel Moldt, and Heiko Rölke.
Modelling mobility and mobile agents using nets within nets.
In Wil van der Aalst and Eike Best, editors, Proceedings of the 24th International Conference on Application and Theory of Petri Nets 2003 (ICATPN 2003), volume 2679 of Lecture Notes in Computer Science, pages 121-139. Springer-Verlag, 2003.  [link]

Michael Köhler, Daniel Moldt, Heiko Rölke, and Daniela Spresny.
Handlung und Struktur. Modellierung von Akteurmodellen.
In v. Lüde et al. (éd.), Sozionik: Modellierung soziologischer Theorie, pages 139-172.

Michael Köhler and Heiko Rölke.
Ein sozionisches Mikro-Makro-Modell. Ein Rahmenkonzept zur Bearbeitung des Skalierungsproblems.
In v. Lüde et al. (éd.), Sozionik: Modellierung soziologischer Theorie, pages 317-345.

Michael Köhler and Heiko Rölke.
Concurrency for mobile object net systems.
Fundamenta Informaticae, 54(2-3), 2003.

Michael Köhler and Heiko Rölke.
Modelling sandboxes for mobile agents using nets within nets.
In N. Busi and F. Martinelli, editors, Workshop on Issues in Security and Petri Nets (WISP'03) at the International Conference on Application and Theory of Petri Nets 2003. University of Eindhoven, 2003.

Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
Structuring of complex socionic systems using reference nets.
Bericht des Fachbereichs Informatik 248, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2003.

Michael Köhler, Daniel Moldt, and Heiko Rölke.
Strukturdynamik als Grundlage zur Modellierung und Simulation menschlichen Verhaltens.
In H.-D. Burkhard, T. Uthmann, and G. Lindemann, editors, Proceedings des Workshops Modellierung und Simulation menschlichen Verhaltens, volume 163 of Informatik-Bericht. Humboldt-Universität zu Berlin, 2003.

Michael Köhler.
Object Petri nets: Definitions, properties and related models.
Technical Report 329, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2003.

Michael Köhler.
Decidability problems for object Petri nets.
In Gesellschaft für Informatik, editor, Informatiktage 2003. Fachwissenschaftlicher Informatik-Kongreß. Konradin Verlag, 2003.

Michael Köhler and Heiko Rölke.
Einführung in Petrinetz-Modellierung.
In v. Lüde et al. (éd.), Sozionik: Modellierung soziologischer Theorie, pages 371-392.

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Michael Köhler, Daniel Moldt, and Heiko Rölke.
Renew - the Reference Net Workshop.
In Eric Veerbeek, editor, Tool Demonstrations. 24th International Conference on Application and Theory of Petri Nets (ATPN 2003). International Conference on Business Process Management (BPM 2003)., pages 99-102. Department of Technology Management, Technische Universiteit Eindhoven, Beta Research School for Operations Management and Logistics, June 2003.

Christine Reese, Michael Duvigneau, Michael Köhler, Daniel Moldt, and Heiko Rölke.
Agent-based Settler game.
In Proceedings of Agentcities Agent Technology Competition (ATC03), Barcelona, Spain. Agentcities.NET, February 2003.

2002

Daniela Hinck, Michael Köhler, Roman Langer, Daniel Moldt, and Heiko Rölke.
Soziologische Grundlagen des Handelns modelliert mit Petrinetzen - Akteurmodelle.
Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten FBI-HH-M-315/02, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2002.

Daniela Hinck, Michael Köhler, Roman Langer, Daniel Moldt, and Heiko Rölke.
Modellierungen und Reanalysen zur Habitus-Feld Theorie von Pierre Bourdieu.
Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten, Universität Hamburg, Fachbereich Informatik, 2002.

Michael Köhler.
Mobile object net systems: Petri nets as active tokens.
Technical Report 320, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2002.

Michael Köhler, Daniel Moldt, and Heiko Rölke.
Liveness preserving composition of behaviour protocols for Petri net agents.
Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten FBI-HH-M-316/02, Universität Hamburg, Fachbereich Informatik, June 2002.

Michael Köhler and Heiko Rölke.
Modelling of social theories.
In Lindemann et al. (éd.), Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02) as part of AAMAS 2002.

Michael Köhler and Heiko Rölke.
Modelling the micro-macro-link: Towards a sociologically grounded design of multi-agent systems.
In C. Jonker, G. Lindemann, and P. Panzarasa, editors, Proceedings of the Workshop Modelling Artificial Societies and Hybrid Organization (MASHO'02), at the 25th German Conference on Artificial Intelligence (KI'2002), 2002.

Michael Köhler and Heiko Rölke.
Modelling mobility and mobile agents using nets within nets.
In Moldt (éd.), Proceedings of the Second Workshop on Modelling of Objects, Components, and Agents (MOCA'02), pages 141-157.
DAIMI PB: Aarhus, Denmark, August 26-27, number 561.

Michael Köhler and Heiko Rölke.
Mobile object net systems: Concurrency and mobility.
In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, and P. Starke, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2002), 2002.

2001

Daniela Hinck, Michael Köhler, Roman Langer, Daniel Moldt, and Heiko Rölke.
Bourdieus Habitus-Konzept als prägendes Strukturelement für Multiagentensysteme.
Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten FBI-HH-B-298/01, Universität Hamburg, Fachbereich Informatik, 2001.

Daniela Hinck, Michael Köhler, Roman Langer, Daniel Moldt, and Heiko Rölke.
Stellenstreichungen an der Universität Mitteldorf.
Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten FBI-HH-M-303/01, Universität Hamburg, Fachbereich Informatik, 2001.

Daniela Hinck, Michael Köhler, Roman Langer, Daniel Moldt, and Heiko Rölke.
Modelling a sociological case study.
In C. Jonker, G. Lindemann, and C. Castelfranchi, editors, Modelling Artificial Societies and Hybrid Organisations (MASHO'01), 2001.

Daniela Hinck, Michael Köhler, Roman Langer, Daniel Moldt, and Heiko Rölke.
Organisation etablierter Machtzentren: Modellierungen und Reanalysen zu Norbert Elias.
Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten FBI-HH-M-306/01, Universität Hamburg, Fachbereich Informatik, 2001.

Daniela Hinck, Michael Köhler, Roman Langer, Daniel Moldt, and Heiko Rölke.
Akteurstheoretische Betrachtungen organisationaler Handlungen.
Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten FBI-HH-B-300/01, Fachbereich Informatik, Universität Hamburg, 2001.

Michael Köhler, Daniel Moldt, and Heiko Rölke.
Modelling the structure and behaviour of Petri net agents.
In J.M. Colom and M. Koutny, editors, Proceedings of the 22nd Conference on Application and Theory of Petri Nets 2001, volume 2075 of Lecture Notes in Computer Science, pages 224-241. Springer-Verlag, 2001.  [link]

Michael Köhler, Daniel Moldt, and Heiko Rölke.
Einheitliche Modellierung von Agenten und Agentensystemen mit Referenznetzen.
In S. Jablonski, S. Kirn, M. Plaha, E. Sinz, A. Ulbrich-vom Ende, and G. Weiß, editors, Tagungsunterlagen: Verteilte Informationssysteme auf der Grundlage von Objekten, Komponenten und Agenten (vertIS 2001), Universität Bamberg, 4-5. Oktober 2001, pages 3-20, October 2001.

Michael Köhler and Heiko Rölke.
Towards a unified approach for modeling and verification of multi agent systems.
In Moldt (éd.), Proceedings of the Workshop on Modelling of Objects, Components, and Agents (MOCA'01), pages 85-104.
Published as DAIMI PB: Workshop Proceedings Modelling of Objects, Components, and Agents; Aarhus, Denmark, August 27-28, number 553.

Michael Köhler and Heiko Rölke.
Petrinetze als Darstellungstechnik in der Soziologie.
Sozionik aktuell, 2, 2001.
www.sozionik-aktuell.de.

Michael Köhler and Heiko Rölke.
A/C Petri nets - assumption based modelling and reasoning.
In Gabriel Juhas and Robert Lorenz, editors, Proceedings des 8. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 43-48. Universität Eichstätt, 2001.

2000

Sven Heitsch, Michael Köhler, Marcel Martens, and Daniel Moldt.
Applying high-level Petri nets for a model of organizational decision making.
In Kurt Jensen, editor, Proceedings of Workshop on the Practical Use of High-Level Petri Nets (HLPN2000), pages 35-54. University of Aarhus, Department of Computer Science, June 2000.
Published as DAIMI PB: Workshop Proceedings Practical Use of High-level Petri Nets, number 547.

Daniela Hinck, Michael Köhler, Roman Langer, Daniel Moldt, and Heiko Rölke.
Akteurstheoretische Betrachtungen organisationaler Handlungen.
Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten FBI-HH-M 300/01, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2000.
Beitrag auf dem Workshop Sozionik 2000.

Michael Köhler.
Distribution references and undecided markings.
Technical Report 292/00, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2000.

Michael Köhler.
Branching process of Petri nets - an unifying approach.
Technical Report 293/00, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2000.

Michael Köhler, Roman Langer, Daniel Moldt, and Heiko Rölke.
Combining the sociological theory of Bourdieu with multi agent systems.
In C. Jonker, A. Letia, G. Lindemann, and T. Uthmann, editors, 14th ECAI European Conference on Artificial Intelligence, Workshop MASHO Modelling Artificial Societies and Hybrid Organization, ECAI Workshop Notes, 2000.

1999

Michael Köhler.
Algebraische Strukturen von Objektnetzen.
Diplomarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 1999.

Michael Köhler.
Strukturen von Objekt- und Agent-Petrinetzen.
In Gesellschaft für Informatik, editor, Informatiktage 1999. Fachwissenschaftlicher Informatik-Kongreß. Konradin Verlag, 1999.

1998

Michael Köhler.
Verifikation verteilter Algorithmen. Das GOSSIP-Exchange Problem.
Studienarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 1998.

Coéditeur de

2012

Michael et al. Köhler-Bußmeier, editor.
Joint Proceedings of LAM 2012, WooPS 2012, and CompoNet 2012, volume 853. CEUR Workshop Proceedings, 2012.  [link]

2009

Michael Köhler-Bußmeier, Daniel Moldt, and Olivier Boissier, editors.
Organizational Modelling, International Workshop, OrgMod'09. Proceedings, Technical Reports Université Paris 13, 99, avenue Jean-Baptiste Clément, 93 430 Villetaneuse, June 2009. Université Paris 13.
Preproceedings available online at http://www.informatik.uni-hamburg.de/TGI/events/orgmod09/#proceedings.  [link]

2008

Berndt Farwer and Michael Köhler-Bußmeier, editors.
Proceedings of the International Workshop on Logics for Agents and Mobility (LAM'08) at the European Summer School in Logic, Language, and Information (ESSLLI), volume 283 of Informatik-Reports. University of Hamburg, Department for Informatics, 2008.