Group
THEORETICAL
FOUNDATIONS OF
COMPUTER
SCIENCE
Bibliography
Daniel Moldt
[
Coeditor
]
2009
-
-
Lawrence Cabac
, Till Dörges
, Michael Duvigneau, and Daniel Moldt.
Concepts and tools for debugging of MAS.
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 238-247, Berlin,
Heidelberg, New York, September 2009. Springer-Verlag.
-
Lawrence Cabac
, Daniel Moldt, Matthias Wester-Ebbinghaus, and Eva Müller.
Visual representation of mobile agents - modeling mobility within
the prototype MAPA.
In Duvigneau and Moldt (eds.), Proceedings of the Fifth International Workshop on Modeling of Objects, Components and Agents, MOCA'09, Hamburg, pages 7-28.
-
Julia Fix and Daniel Moldt.
A reference architecture for modelling of emotional agent 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 189-194, Berlin,
Heidelberg, New York, September 2009. Springer-Verlag.
-
Michael Köhler-Bußmeier, Daniel Moldt, and Matthias Wester-Ebbinghaus.
A formal model for organisational structures behind process-aware
information systems.
In Aalst and Jensen (eds.), 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.
On the expressiveness of communication channels for object nets.
Electronic Communications of the EASST: Special Issue on Formal
Modeling of Adaptive and Mobile Processes, 12, 2009.
http://www.easst.org/eceasst/.
2008
-
-
Lawrence Cabac
, Till Dörges
, Michael Duvigneau, Daniel Moldt, Christine Reese, and Matthias Wester-Ebbinghaus.
Agent models for concurrent software systems.
In Ralph Bergmann and Gabriela Lindemann, editors, Proceedings
of the Sixth German Conference on Multiagent System Technologies, MATES'08,
volume 5244 of Lecture Notes in Artificial Intelligence, pages 37-48,
Berlin, Heidelberg, New York, 2008. Springer-Verlag.
[pdf]
-
Lawrence Cabac
, Daniel Moldt, and Jan Schlüter.
Adding runtime net manipulation features to mulanviewer.
In 15. Workshop Algorithmen und Werkzeuge für Petrinetze,
AWPN'08, volume 380 of CEUR Workshop Proceedings, pages 87-92.
Universität Rostock, September 2008.
-
Lawrence Cabac
, Ragna Dirkner, and Daniel Moldt.
Modeling with service dependency diagrams.
In Moldt et al. (eds.), Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008, pages 109-118.
-
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.
-
Christine Reese, Matthias Wester-Ebbinghaus, Till Dörges
, Lawrence Cabac
,
and Daniel Moldt.
Introducing a process infrastructure for agent systems.
In Mehdi Dastani, Amal El Fallah, João Leite, and Paolo Torroni,
editors, LADS'007 Languages, Methodologies and Development Tools for
Multi-Agent Systems, volume 5118 of Lecture Notes in Artificial
Intelligence, pages 225-242, 2008.
Revised Selected and Invited Papers.
-
Benjamin Schleinzer
, Lawrence Cabac
, Daniel Moldt, and Michael Duvigneau.
From agents and plugins to plugin-agents, concepts for flexible
architectures.
In New Technologies, Mobility and Security, 2008. International
Conference, NTMS '08, Tangier, Morocco. Electronical proceedings, pages
1-5. IEEE Xplore, 5.-7.November 2008.
-
Matthias Wester-Ebbinghaus and Daniel Moldt.
Structure in threes: Modelling organization-oriented software
architectures built upon multi-agent systems.
In Lin Padgham, David C. Parkes, Jörg Müller, and Simon
Parsons, editors, 7th International Joint Conference on Autonomous
Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16,
2008, Volume 3, pages 1307-1310. IFAAMAS, 2008.
-
Matthias Wester-Ebbinghaus and Daniel Moldt.
A Janus-faced net component for the prototyping of open systems.
In AWPN, volume 380 of CEUR Workshop Proceedings, pages
25-30. CEUR-WS.org, 2008.
[pdf]
-
Matthias Wester-Ebbinghaus and Daniel Moldt.
Modelling multi-agent systems with organizations in mind.
In Moldt et al. (eds.), Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008, pages 81-90.
2007
-
-
Lawrence Cabac
, Michael Duvigneau, Daniel Moldt, and Benjamin Schleinzer
.
Plugin-agents as conceptual basis for flexible software structures.
In Multi-Agent Systems and Applications V. Fifth International
Central and East European Conference, CEEMAS'07, Leipzig. Proceedings,
volume 4696 of Lecture Notes in Computer Science, pages 340-342,
Berlin, Heidelberg, New York, 2007. Springer-Verlag.
[pdf]
-
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.
-
Christine Reese, Matthias Wester-Ebbinghaus, Till Dörges
, Lawrence Cabac
,
and Daniel Moldt.
A process infrastructure for agent systems.
In Mehdi Dastani, Amal El Fallah, Joao Leite, and Paolo Torroni,
editors, MALLOW'007 Proceedings. Workshop LADS'007 Languages,
Methodologies and Development Tools for Multi-Agent Systems (LADS), pages
97-111, 2007.
-
Matthias Wester-Ebbinghaus, Daniel Moldt, Christine Reese, and Kolja Markwardt.
Towards organization-oriented software engineering.
In Heinz Züllighoven, editor, Software Engineering Konferenz
2007 in Hamburg: SE'07 Proceedings, volume 105 of LNI, pages 205-217.
GI, 2007.
2006
-
-
Lawrence Cabac
, Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Applying multi-agent concepts to dynamic plug-in architectures.
In Joerg Mueller and Franco Zambonelli, editors, Agent-Oriented
Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht,
Netherlands, July 21, 2005. Revised Selected Papers, volume 3950 of Lecture Notes in Computer Science, pages 190-204, Berlin, Heidelberg, New
York, June 2006. Springer-Verlag.
[pdf]
-
Lawrence Cabac
, Nicolas Knaak, Daniel Moldt, and Heiko Rölke.
Analysis of multi-agent interactions with process mining techniques.
In Multiagent System Technologies. 4th German Conference, MATES
2006 Erfurt, Germany. Proceedings, volume 4196 of Lecture Notes in
Computer Science, pages 12-23, Berlin, Heidelberg, New York, 2006.
Springer-Verlag.
-
Lawrence Cabac
, Nicolas Knaak, and Daniel Moldt.
Net components for the modeling of process mining chains.
In Moldt (eds.), Proceedings of the 13th Workshop Application and Tools for Petri Nets. AWPN'06.
-
Lawrence Cabac
, Nicolas Knaak, and Daniel Moldt.
Applying process mining to interaction analysis of Petri net-based
multi-agent models.
Technical Report 271, University of Hamburg, Department of
Informatics, May 2006.
-
Julia Fix, Christian von Scheve, and Daniel Moldt.
Emotion-based norm enforcement and maintenance in multi-agent
systems.
In Proceedings of the International Conference on Autonomous
Agents and Multi-Agent Systems (AAMAS 2006), 2006.
-
Julia Fix, Daniel Moldt, and Christian von Scheve.
Emotional agent systems: Modelling emotions in large-scale artificial
societies.
In Simon and von Scheve (eds.), Proceedings of ISA - RC 51 on Sociocybernetics - Science of Social Systems - at the XVIth World Congress of Sociology - The Quality of Social Existence in a Globalising World, Durban, South Africa, July 23-29, 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.
-
Kolja Markwardt, Daniel Moldt, Sven Offermann, and Christine Reese.
Using multi-agent systems for change management processes in the
context of distributed software development processes.
In Shazia Sadiq, Manfred Reichert, and Karsten Schulz, editors, The 1st International Workshop on Technologies for Collaborative Business
Process Management (TCoB 2006), pages 56-66, 2006.
-
Daniel Moldt.
PAOSE: A way to develop distributed software systems based
on Petri nets and agents.
In Joseph Barjis, Ulrich Ultes-Nitsche, and Juan C. Augusto, editors,
Proceedings of The Fourth International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information Systems
(MSVVEIS'06), May 23-24, 2006 - Paphos, Cyprus 2006, pages 1-2, 2006.
-
Daniel Moldt, Julia Fix, Rolf von Lüde, and Christian von Scheve.
Emotion als theorieleitende kategorie in soziologie und informatik:
Zur emotionsbasierten modellierung von strukturdynamiken in künstlichen
und natürlichen gesellschaften.
In Post Proceedings: Ordnungsbildung und Erkenntnisprozesse
(OrdEr) 2005, pages 103-116, Vogt-Kölln Str. 30, D-22527 Hamburg,
2006. Universität Hamburg, Fachbereich Informatik.
-
Daniel Moldt.
Concurrency - where not?, 2006.
Contribution to Panel discussion: Does Concurrency have the place in
curricula that it deserves? at the workshop TeaConc'2006 - Workshop on
Teaching Concurrency 27 June 2006 - Turku, Finland organzied by Søren
Christensen and Luís Gomes.
-
Christine Reese, Sven Offermann, and Daniel Moldt.
Architektur für verteilte, agentenbasierte Workflows.
In Mareike Schoop, Christian Huemer, Michael Rebstock, and Martin
Bichler, editors, Service-oriented Electronic Commerce im Rahmen der
Multikonferenz Wirtschaftsinformatik 2006 (MKWI 2006), volume P-80 of Lecture Notes in Informatics (LNI) - Proceedings, pages 73-87, Bonn, 2006.
Gesellschaft für Informatik, Köllen Druck+Verlag GmbH.
[pdf]
-
Christine Reese, Kolja Markwardt, Sven Offermann, and Daniel Moldt.
Distributed business processes in open agent environments.
In Yannis Manolopoulos, Joaquim Filipe, Panos Constantopoulos, and
José Cordeiro, editors, ICEIS 2006 - Proceedings of the Eighth
International Conference on Enterprise Information Systems: Databases and
Information Systems Integration, Paphos, Cyprus, May 2006, pages 81-86,
2006.
-
Christine Reese, Jan Ortmann, Daniel Moldt, Sven Offermann, Kolja Lehmann, and
Timo Carl.
Fragmented workflows supported by an agent based architecture.
In Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, and Michael
Winikoff, editors, Agent-Oriented Information Systems III 7th
International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July
26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected
Papers, volume 3529 of Lecture Notes in Computer Science, pages
200-215. Springer-Verlag, 2006.
-
Christian von Scheve, Daniel Moldt, Julia Fix, and Rolf von Lüde.
My agents love to conform: Norms and emotion in the micro-macro link.
Computational and Mathematical Organization Theory (CMOT),
2006.
-
Matthias Wester-Ebbinghaus and Daniel Moldt.
Auf dem Weg zu organisationsorientierter Softwareentwicklung.
Available at:
http://www.informatik.uni-hamburg.de/TGI/publikationen/public/data/2006/Wester+06/Wester+06.pdf, September 2006.
[pdf]
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.
-
Lawrence Cabac
and Daniel Moldt.
Formal semantics for AUML agent interaction protocol diagrams.
In Agent-Oriented Software Engineering V: 5th International
Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected
Papers, volume 3382 of Lecture Notes in Computer Science, pages
47-61. Springer-Verlag, January 2005.
-
Lawrence Cabac
, Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Modeling dynamic architectures using nets-within-nets.
In Gianfranco Ciardo and Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005. 26th International Conference,
ICATPN 2005, Miami, USA, June 2005. Proceedings, volume 3536 of Lecture
Notes in Computer Science, pages 148-167, 2005.
[pdf]
-
Lawrence Cabac
, Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Multi-agent concepts as basis for dynamic plug-in software
architectures.
In Proceedings of the International Conference on Autonomous
Agents and Multi-Agent Systems (AAMAS 2005), pages 1157-1158, 2005.
-
Lawrence Cabac
, Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Agent technologies for plug-in system architecture design.
In Proceedings of the Workshop on Agent-oriented Software
Engineering (AOSE), Utrecht, Netherlands, 2005.
[pdf]
-
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.
-
Kolja Lehmann, Lawrence Cabac
, Daniel Moldt, and Heiko Rölke.
Towards a distributed tool platform based on mobile agents.
In Proceedings of the Third German Conference on Multi-Agent
System Technologies (MATES), volume 3550 of Lecture Notes in Artificial
Intelligence, pages 179-190. Springer-Verlag, September 2005.
-
Daniel Moldt, Julia Fix, Rolf von Lüde, and Christian von Scheve.
Emotion als theorieleitende Kategorie in Soziologie und Informatik:
Zur emotionsbasierten Modellierung von Strukturdynamiken in künstlichen
und natürlichen Gesellschaften.
In Ordnungsbildung und Erkenntnisprozesse (OrdEr) 2005,
Vogt-Kölln Str. 30, D-22527 Hamburg, September 2005. Universität
Hamburg, Fachbereich Informatik.
-
Daniel Moldt, Sven Offermann, and Jan Ortmann.
A Petri net-based architecture for web services.
In Lawrence Cavedon, Ryszard Kowalczyk, Zakaria Maamar, David Martin,
and Ingo Müller, editors, Workshop on Service-Oriented Computing and
Agent-Based Engineering, SOCABE 2005, Utrecht, Netherland, July 26, 2005.
Proceedings, pages 33-40, 2005.
-
Daniel Moldt.
Petrinetze als Denkzeug.
In Farwer and Moldt (eds.), Object Petri Nets, Processes, and Object Calculi, pages 51-70.
-
Christine Reese, Jan Ortmann, Daniel Moldt, Sven Offermann, Kolja Lehmann, and
Timo Carl.
Architecture for distributed agent-based workflows.
In Brian Henderson-Sellers and Michael Winikoff, editors, Proceedings of the Seventh International Bi-Conference Workshop on
Agent-Oriented Information Systems (AOIS-2005), Utrecht, Niederlande, as part
of AAMAS 2005 (Autonomous Agents and Multi Agent Systems), July 2005, pages
42-49, 2005.
-
Christian von Scheve, Daniel Moldt, Julia Fix, and Rolf von Lüde.
My agents love to conform: Emotions, norms, and social control in
natural and artificial societies.
In Proceedings on NorMAS2005 - Symposium of the AISB 2005
(Artificial Intelligence and the Simulation of Behaviour), Universität
Hertfordshire, Hatfield, England, pages 73-84, 2005.
-
Volker Tell and Daniel Moldt.
Ein Petrinetzsystem zur Modellierung selbstmodifizierender
Petrinetze.
In Schmidt and Stahl (eds.), Proceedings of the 12th Workshop on Algorithms and Tools for Petri Nets (AWPN 05), pages 36-41.
2004
-
-
Unai Arronategui and Daniel Moldt.
A proposal for multi-agent system based modeling and validation of
self-organization.
In Session: Agent-Based and Holonic Manufacturing Systems, 2nd
IEEE International Conference on Industrial Informatics Fraunhofer IPK,
Berlin, INDIN'04, 2004, 2004.
-
Lawrence Cabac
and Daniel Moldt.
Formal semantics for AUML agent interaction protocol diagrams.
In James Odell, Paolo Giorgini, and Jörg P. Müller, editors,
The Fifth International Workshop on Agent-Oriented Software Systems
(AOSE-2004). Proceedings, pages 97-111, New York, USA, July 2004. Columbia
University.
-
Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
Petri nets and social science.
Petri Net Newsletter, 67:5-9, 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.
[pdf]
-
Kolja Lehmann and Daniel Moldt.
Modelling and analysis of agent protocols with Petri nets.
In Gabriela Lindemann, Jörg Denzinger, and Ingo J. et al. Timm,
editors, Multiagent System Technologies: Second German Conference, MATES
2004, Erfurt, Germany, September 29-30, 2004. Proceedings, volume 3187 of
Lecture Notes in Computer Science, page 85, Berlin, Heidelberg, New
York, 2004. Springer-Verlag.
-
Daniel Moldt.
Was bestimmt die informatik? eine systemorientierte sicht.
In Nake et al. (eds.), Informatik zwischen Konstruktion und Verwertung - Materialien der 3. Arbeitstagung "`Theorie der Informatik"' Bad Hersfeld 3. bis 5.4.2003, pages 113-114.
Bericht Nr. 1/04.
-
Daniel Moldt and Jan Ortmann.
DaGen: A tool for automatic translation from DAML-S to high-level
Petri nets.
In Michel Wermelinger and Tiziana Margaria-Steffen, editors, Fundamental Approaches to Software Engineering: 7th International Conference,
FASE 2004. Held as Part of the Joint European Conferences on Theory and
Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004.
Proceedings, volume 2984 of Lecture Notes in Computer Science, pages
209-213, Berlin, Heidelberg, New York, 2004. Springer-Verlag.
-
Daniel Moldt, Lars Braubach, Alexander Pokahr, and Winfried Lamersdorf.
Goal representation for bdi agent systems.
In Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, and Amal El
Fallah-Seghrouchni, editors, Second International Workshop on
Programming Multi-Agent Systems: Languages and tools (PROMAS 2004), held with
the Third International Joint Conference on Autonomous Agents and Multi-Agent
Systems (AAMAS 2004) New York, NY, USA, 20 July 2004, pages 9-20, 2004.
-
Daniel Moldt and Jan Ortmann.
A conceptual and practical framework for web-based processes in
multi-agent systems.
In Liz Sonenberg and Charles Sierra, editors, 3rd International
Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004),
19-23 August 2004, New York, NY, USA, pages 1464-1465. Computer Society,
2004.
-
Daniel Moldt and Jan Ortmann.
Konzeptuelle Modellierung web-basierter Prozessabläufe in
Multiagentensystemen.
In Bernhard Rumpe and Wolfgang Hesse, editors, Modellierung
2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings,
volume 45 of LNI. GI, 2004.
-
Daniel Moldt, Peter Nyssen, and Jan Ortmann.
Modellierung soziologischer Theorien - Ein Petrinetz basierter
Ansatz.
In Modellierung 2004, Workshop W1: ``Intelligente
Lehr-/Lernsysteme: Modellierung als Schlüsselkonzept in intelligenten
Lehr-/Lernsystemen'', Marburg, pages 49-59, 2004.
-
Daniel Moldt, Jan Ortmann, and Sven Offermann.
A proposal for Petri net based web service application modeling.
In Nora Koch, Piero Fraternali, and Martin Wirsing, editors, Web
Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July
26-30, 2004, Proceedings, volume 3140 of Lecture Notes in Computer
Science, pages 93-97. Springer-Verlag, 2004.
-
Daniel Moldt and Jan Ortmann.
Konzeptuelle Modellierung web-basierter Prozesse und ihre
Ausführung in Multiagentensystemen.
In Modellierung 2004, Praktischer Einsatz von Modellen; Workshop
W4: ``Ontologien in der und für die Softwaretechnik'', Marburg, 2004.
-
Christian von Scheve and Daniel Moldt.
Emotion: Theoretical investigations and implications for artificial
social aggregates.
In Lindemann et al. (eds.), Regulated Agent-Based Social Systems. First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers, pages 189-209.
2003
-
-
Lawrence Cabac
, Daniel Moldt, and Heiko Rölke.
A proposal for structuring Petri net-based agent interaction
protocols.
In Wil van der Aalst and E. Best, editors, 24th International
Conference on Application and Theory of Petri Nets, Eindhoven, Netherlands,
June 2003, volume 2679 of Lecture Notes in Computer Science, pages
102-120. Springer-Verlag, June 2003.
-
Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Concurrent architecture for a multi-agent platform.
In Fausto Giunchiglia, James Odell, and Gerhard Weiß, editors,
Agent-Oriented Software Engineering III. Third International Workshop,
Agent-oriented Software Engineering (AOSE) 2002, Bologna, Italy, July 2002.
Revised Papers and Invited Contributions, volume 2585 of Lecture Notes
in Computer Science, pages 59-72, Berlin, Heidelberg, New York, 2003.
Springer-Verlag.
[pdf]
-
Joaquín Ezpeleta and Daniel Moldt.
A proposal for flexible testing of deadlock control strategies in
resource allocation systems.
In Zohreh Pahlavani, editor, Proceedings of International
Conference on Computational Intelligence for Modelling Control and
Automation, in Vienna, Austria, 12-14 February, 2003.
-
Michael Köhler, Roman Langer, Daniel Moldt, and Heiko Rölke.
Pierre Bourdieu: Praxis - Kapital - Habitus.
In v. Lüde et al. (eds.), 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. (eds.), Sozionik: Modellierung soziologischer Theorie, pages 213-237.
-
Michael Köhler, Daniel Moldt, and Heiko Rölke.
Eine sozionische Agentenarchitektur.
In v. Lüde et al. (eds.), 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. (eds.), 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.
-
Michael Köhler, Daniel Moldt, Heiko Rölke, and Daniela Spresny.
Handlung und Struktur. Modellierung von Akteurmodellen.
In v. Lüde et al. (eds.), Sozionik: Modellierung soziologischer Theorie, pages 139-172.
-
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.
-
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.
[pdf]
-
Daniel Moldt.
Introduction and conclusion to part IV: Validation and execution.
In Girault and Valk (eds.), Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, chapters 18 and 22, pages
403-408, 469-470.
-
Daniel Moldt and Heiko Rölke.
Pattern based workflow design using reference nets.
In Wil van der Aalst, Arthur ter Hofstede, and Mathias Weske,
editors, Proceedings of International Conference on Business Process
Management, Eindhoven, NL, volume 2678 of Lecture Notes in Computer
Science, pages 246-260. Springer-Verlag, 2003.
-
Daniel Moldt.
Tools.
In Girault and Valk (eds.), Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, section 19.4, pages
412-415.
-
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
-
-
Andreas Bartelt, Lars Braubach, Daniel Moldt, Alexander Pokahr, and Winfried
Lamersdorf.
Vesuf, eine modellbasierte User Interface Entwicklungsumgebung
für das Ubiquitous Computing.
In Michael Herczeg, Wolfgang Prinz, and Horst Oberquelle, editors,
Mensch & Computer 2002 - Vom interaktiven Werkzeug zu kooperativen
Arbeits- und Lernwelten, volume 56 of Berichte der German Chapter of
the ACM, pages 185-194, Stuttgart, Leipzig, Wiesbaden, August 2002. 2.
fachübergreifende Konferenz, Hamburg, 2. bis 5. September 2002, Teubner.
-
Andreas Bartelt, Lars Braubach, Daniel Moldt, Alexander Pokahr, and Winfried
Lamersdorf.
Tool-supported interpreter-based user interface architecture for
ubiquitous computing.
In P. Forbrig, Q. Limbourg, B. Urban, and J. Vanderdonckt, editors,
Interactive Systems - Design, Specification, and Verification, volume
2545 of Lecture Notes in Computer Science, pages 89-103.
Springer-Verlag, 2002.
-
Lars Braubach, Winfried Lamersdorf, Daniel Moldt, and Alexander Pokahr.
Exploiting a model-based interface construction mechanism for
automatic adaption of cooperative agent communication.
In Tim Finnin, Filip Perich, and Zakaria Maamar, editors, AAMAS
Workshop on Ubiquitous Agents on Embedded, Wearable, and Mobile Devices. ACM
Press, July 2002.
-
Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Concurrent architecture for a multi-agent platform.
In Fausto Giunchiglia, James Odell, and Gerhard Weiß, editors,
Agent-Oriented Software Engineering. 3rd International Workshop,
AOSE 2002, Bologna. Proceedings, pages 147-159. ACM Press, July 2002.
-
Berndt Farwer, Daniel Moldt, and F. García-Vallés.
An approach to modelling FMS with dynamic object Petri nets.
In Proceedings of the 2002 IEEE International Conference on
Systems, Man and Cybernetics., pages 1-6, Hammamet, Tunisia, October 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.
-
Thomas Jacob, Olaf Kummer, Daniel Moldt, and Ulrich Ultes-Nitsche.
Implementation of workflow systems using reference nets - security
and operability aspects.
In Kurt Jensen, editor, Fourth Workshop and Tutorial on
Practical Use of Coloured Petri Nets and the CPN Tools, Ny Munkegade,
Bldg. 540, DK-8000 Aarhus C, Denmark, August 2002. University of Aarhus,
Department of Computer Science.
DAIMI PB: Aarhus, Denmark, August 28-30, number 560.
-
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.
-
Christoph Maier and Daniel Moldt.
Dynamic structure and behaviour of coloured Petri nets supporting
object-oriented modelling.
In Aalst et al. (eds.), Petri Net Approaches for Modelling and Validation, pages 81-101.
-
Daniel Moldt and Christian von Scheve.
Emotions in hybrid social aggregates.
In Michael Herczeg, Wolfgang Prinz, and Horst Oberquelle, editors,
Mensch & Computer 2002 - Vom interaktiven Werkzeug zu kooperativen
Arbeits- und Lernwelten, volume 56 of Berichte der German Chapter of
the ACM, pages 343-352, Stuttgart, Leipzig, Wiesbaden, August 2002. 2.
fachübergreifende Konferenz, Hamburg, 2. bis 5. September 2002, Teubner.
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.
-
Thomas Jacob, Olaf Kummer, and Daniel Moldt.
Persistent Petri net execution.
Petri Net Newsletter, 61:18-26, October 2001.
-
Thomas Jacob, Olaf Kummer, and Daniel Moldt.
Database backing for Petri net simulations.
In Gabriel Juhás and Robert Lorenz, editors, 8. Workshop
Algorithmen und Werkzeuge für Petrinetze, pages 61-65. Lehrstuhl
für angewandte Informatik, KU Eichstätt, 2001.
-
Thomas Jacob, Olaf Kummer, and Daniel Moldt.
Datenbank-Sicherung für Petrinetze.
In Gabriel Juhás and Robert Lorenz, editors, 8. Workshop
Algorithmen und Werkzeuge für Petrinetze, pages 61-65. Lehrstuhl
für angewandte Informatik, KU Eichstätt, 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.
-
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.
-
Christoph Maier and Daniel Moldt.
Object coloured Petri nets - A formal technique for object
oriented modelling.
In Agha et al. (eds.), Advances in Petri Nets: Concurrent Object-Oriented Programming and Petri Nets, pages 406-427.
-
Daniel Moldt and Christian von Scheve.
Emotions and multimodal interface-agents: A sociological view.
In Horst Oberquelle, editor, Mensch und Computer 2001, 05.-08.
März in Bad Honnef (Bonn). Proceedings, number 55 in Berichte des German
Chapter of the ACM, Stuttgart, 2001. Teubner.
-
Daniel Moldt and Christian von Scheve.
Emotional actions for emotional agents.
In Colin G. Johnson, editor, Proceedings of the AISB'01
Symposium on Emotion, Cognition, and Affective Computing. 21.-24. März
2001, York/UK. Society for the Study of Artificial Intelligence and the
Simulation of Behaviour, AISB Press, 2001.
-
Rolf v. Lüde, Daniel Moldt, and Rüdiger Valk (Herausgeber).
Sozionik aktuell, 2001.
2000
-
-
Carsten Döhring, Daniel Moldt, and Ingrid Wetzel.
Strukturbedingte Kooperationsformen in Geschäftsprozessen.
In Herrad Schmidt, editor, Modellierung betrieblicher
Informationssysteme, Proceedings der MobIS-Fachtagung 2000, pages 85-105,
Siegen, 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.
-
Daniela Hinck, Roman Langer, Daniel Moldt, and Rolf v. Luede.
Fundierung und Modellierung von Entscheidungen und Verhalten in
komplexen Organisationen.
In 30. Kongress der Deutschen Gesellschaft für Soziologie:
Gute Gesellschaft? Zur Konstruktion sozialer Ordnungen; Ad-Hoc Gruppe zum
Thema Sozionik: ``Künstliche Sozialität'' als soziologisches
Forschungsfeld, 26.09.00-29.09.00. Universität zu Köln, Seminar
für Soziologie, September 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.
-
Olaf Kummer, Annette Laue, Matthias Liedtke, Daniel Moldt, and Heiko Rölke.
Höhere Petrinetze zur kompakten Modellierung und Implementierung
von Verhalten.
In Holger Giese and Stephan Philippi, editors, Visuelle
Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme,
8.Workshop des Arbeitskreises GROOM, Techreport 24/00-I, pages 27-32.
Universität Münster, 2000.
Verfügbar unter
urlhttp://wwwmath.uni-muenster.de/cs/u/versys/workshops/VVVNS2000/
urlprogramm.html.
-
Olaf Kummer, Daniel Moldt, and Frank Wienberg.
XML and Petri nets - following the forces.
In Rémi Bastide, Jonathan Billington, Ekkart Kindler, Fabrice
Kordon, and Kjeld H. Mortensen, editors, Meeting on XML/SGML based
Interchange Formats for Petri Nets, Aarhus, Denmark, 21st International
Conference on Application and Theory of Petri Nets at Aarhus, Denmark, June
26-30, pages 13-17. Aarhus University, 2000.
Verfügbar unter url http://www.daimi.au.dk/pn2000/Interchange/.
-
Annette Laue, Matthias Liedtke, Daniel Moldt, and Ivana Trickovic.
Statecharts as protocols for objects.
In ROOM 2000, ROOM-Third Workshop on Rigorous Object-Oriented
Methods, England, 2000. Department of Computer Science, University of York,
UK.
-
Annette Laue, Matthias Liedtke, Daniel Moldt, and Ivana Trickovic.
Modelling intra- and inter-object control using reference nets.
In Jürgen Ebert and Ulrich Frank, editors, Modellierung 2000
St. Goar, 5.-7. April, volume 15 of Koblenzer Schriften zur
Informatik, pages 89-102, Koblenz, 2000. Dietmar Fölbach.
-
Annette Laue, Matthias Liedtke, Daniel Moldt, and Ivana Trickovic.
Statecharts as protocols for objects.
Journal for electronic Workshops in Computing: ROOM-Third
Workshop on Rigorous Object-Oriented Methods, July 2000.
-
Daniel Moldt and Jörg Rodenhagen.
Ereignisgesteuerte Prozeßketten und Petrinetze zur Modellierung
von Workflows.
In Giese and Philippi (eds.), Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 8.Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, 13.-14. November 2000, Universität Münster, pages 57-63.
-
Daniel Moldt and Heiko Rölke.
Verhaltensmodellierung von Petrinetz-Agenten.
In Giese and Philippi (eds.), Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 8.Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, 13.-14. November 2000, Universität Münster, pages 92-97.
-
Daniel Moldt and Christian von Scheve.
Soziologisch adäquate Modellierung emotionaler Agenten.
In Müller (eds.), Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen (ABIS) 2000, pages 117-131.
-
Daniel Moldt and Rüdiger Valk.
Object-oriented Petri nets in business process modeling.
In Wil van der Aalst, Jörg Desel, and Andreas Oberweis, editors,
Business Process Management: Models, Techniques, and Empirical Studies,
number 1806 in Lecture Notes in Computer Science, pages 254-273, Berlin,
Heidelberg, New York, 2000. Springer-Verlag.
1999
-
-
Wil van der Aalst, Daniel Moldt, Rüdiger Valk, and Frank Wienberg.
Enacting interorganizational workflows using nets in nets.
In Jörg Becker, Michael zur Mühlen, and Michael Rosemann,
editors, Proceedings of the 1999 Workflow Management Conference
Workflow-based Applications, Münster, Nov. 9th 1999, Working Paper
Series of the Department of Information Systems, pages 117-136, University
of Münster, Department of Information Systems, Steinfurter Str. 109,
48149 Münster, 1999.
Working Paper No. 70.
-
Sven Heitsch, Marcel Martens, and Daniel Moldt.
Petri nets with synchronous channels applied to a sociological
model.
In Second Workshop and Tutorial on Practical Use of Coloured
Petri Nets and Design/CPN (CPN'99), Aarhus, 1999.
-
Olaf Kummer, Daniel Moldt, and Frank Wienberg.
Symmetric communication between coloured Petri net simulations and
Java-processes.
In Susanna Donatelli and Jetty Kleijn, editors, Application and
Theory of Petri Nets 1999, 20th International Conference, ICATPN'99,
Williamsburg, Virginia, USA, volume 1639 of Lecture Notes in Computer
Science, pages 86-105. Springer-Verlag, June 1999.
-
Daniel Moldt, Marc Netzebandt, and Frank Wienberg.
Object-oriented modeling of a bus tour travel agency using
Design/CPN.
Work in Progress Presentation at CPN'99 in Aarhus, Computer Science
Department, Aarhus University, 1999.
-
Daniel Moldt and Heiko Rölke.
Generation of executable object-based Petri net skeletons using
Design/CPN.
In Kurt Jensen, editor, Second Workshop on Practical Use of
Coloured Petri Nets and Design/CPN, number 541 in DAIMI PB, pages
59-78, Ny Munkegade, Building 540, DK-8000 Aarhus C, Dänemark, 1999.
Computer Science Department, Aarhus University.
1998
-
-
Alioune Diagne, Jean-Michel Ilié, and Daniel Moldt.
Verification and validation techniques to use UML for the
specification of reactive systems.
In In Proceedings (CD-ROM) of Hawaii International Conference on
System Sciences (HICSS'31), Big Island of Hawaii, 6-9 January, 1998.
-
Olaf Kummer, Daniel Moldt, and Frank Wienberg.
A framework for interacting Design/CPN- and Java processes.
In Jensen (eds.), Workshop on Practical Use of Coloured Petri Nets and Design/CPN 1998, pages 131-150.
-
Christoph Maier, Daniel Moldt, and Heiko Rölke.
SNIFF - an input/output library for Design/CPN.
In Daimi PB-532: Workshop on Practical Use of Coloured Petri
Nets and Design/CPN, pages 65-82, Ny Munkegade, Building 540, DK-8000
Aarhus C, Dänemark, 1998. Computer Science Department, Aarhus
University.
-
Daniel Moldt.
System engineering and validation.
In C. Girault and Rüdiger Valk, editors, Systems
Engineering: A Petri Net Based Approach to Modelling, Verification, and
Implementation, MATCH Advanced School, Jaca, Spain, September 1998.
-
Daniel Moldt.
Using workflows to structure systems based on object-oriented
coloured Petri nets.
In J. Desel, A. Oberweis, W. Reisig, and G. Rozenberg, editors, Petri Nets and Business Process Management, number 217 in Dagstuhl
Seminar-Report, Saarbrücken, 1998.
-
Daniel Moldt, M.Ch. Meyer, and M. Netzebandt.
Transparenter Entwurf mit gefärbten Petrinetzen am Beispiel
eines Reiseunternehmens.
Bericht des Fachbereichs Informatik FBI-HH-B-282/98, Universität
Hamburg, Fachbereich Informatik, July 1998.
1997
-
-
Alioune Diagne, Jean-Michel Ilié, and Daniel Moldt.
Integration of semi-formal and formal approaches.
In ECOOP'97, Workshop Nr. 6: Models, Formalisms and Methods for
Distributed Object-Oriented Computing, 9.6.97 in Finnland, 1997.
-
Alioune Diagne, Jean-Michel Ilié, and Daniel Moldt.
Verification and validation techniques to use uml for control
systems.
In GMA-Fachtagung Steuerungstechnik Methodik komplexer
Anwendungen Projektierung - Inbetriebnahme - Betrieb, 30.9.-1.10.1997 in
Langen, 1997.
-
Alioune Diagne, Jean-Michel Ilié, and Daniel Moldt.
A Petri net-based support for object-oriented specification of
complex control systems.
In Farwer et al. (eds.), Report FBI-HH-B-205/97: Proceedings of the Workshop on Petri Nets in System Engineering (PNSE'97), Hamburg, September 25-26, 1997, pages 163-174.
-
Christoph Maier and Daniel Moldt.
Coloured object Petri nets for complex automation systems.
In Schnieder and Abel (eds.), Entwurf komplexer Automatisierungssysteme, pages 324-342.
-
Christoph Maier and Daniel Moldt.
Object coloured Petri nets - A formal technique for object
oriented modelling.
In Farwer et al. (eds.), Report FBI-HH-B-205/97: Proceedings of the Workshop on Petri Nets in System Engineering (PNSE'97), Hamburg, September 25-26, 1997, pages 11-19.
-
Daniel Moldt and Frank Wienberg.
Multi-agent-systems based on coloured Petri nets.
In Azéma and Balbo (eds.), Application and Theory of Petri Nets 1997, pages 82-101.
1996
-
-
Olaf Fricke and Daniel Moldt.
Formale Semantik für funktionale und dynamische Modelle der
Strukturierten Analyse auf der Basis gefärbter Petrinetze.
Bericht des Fachbereichs Informatik FBI-HH-B-188/96, Universität
Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg,
1996.
August.
-
Olaf Fricke and Daniel Moldt.
Übertragung der Statechart-Konzepte auf gefärbte Petrinetze
- Stellenerweiterung als Hierarchiekonzept.
Fachbereichsmitteilung FBI-HH-M-260/96, Universität Hamburg,
Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 1996.
August.
-
Christoph Maier and Daniel Moldt.
Objektorientierte Konzepte - Dargestellt mit gefärbten
Petrinetzen.
Bericht des Fachbereichs Informatik FBI-HH-M-261/96, Universität
Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg,
1996.
August.
-
Daniel Moldt.
Höhere Petrinetze als Grundlage für
Systemspezifikationen.
Dissertation, Universität Hamburg, Fachbereich Informatik,
Vogt-Kölln Str. 30, D-22527 Hamburg, August 1996.
-
Daniel Moldt.
Extensions of normal OOA methods and techniques for distributed
real-time systems.
In A. Oberweiss, editor, EMISA-Fachgruppentreffen 1995
'Requirements Engineering für Informationssysteme', 12.-13. Oktober 1995
in Karlsruhe, EMISA FORUM, Heft 1, 1996.
-
Daniel Moldt.
Anforderungen an Petrinetzwerkzeuge für den kommerziellen
Einsatz.
In A. Oberweiss, editor, EMISA-Fachgruppentreffen 1995
'Requirements Engineering für Informationssysteme', 12.-13. Oktober 1995
in Karlsruhe, EMISA FORUM, Heft 1, 1996.
1995
-
-
Michael Merz, Daniel Moldt, Kay Müller, and Winfried Lamersdorf.
Workflow modelling and execution with coloured Petri nets in
COSM.
In Billington and Diaz (eds.), Petri Nets applied to Protocols.
Workshop während der International Conference on Application and
Theory of Petri Nets, Torino, Italy, June 26-30.
-
Daniel Moldt.
OOA and Petri nets for system specification.
In Agha and Cindio (eds.), Object-Oriented Programming and Models of Concurrency.
Workshop während der ,,16th International Conference on
Application and Theory of Petri Nets``, Turin, Italien, 26.-30. Juni,
1995.
1994
-
-
Dirk Hauschildt and Daniel Moldt.
Petrinetze.
Vorlesungsskript wintersemester 1993/1994, Universität Hamburg,
Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 1994.
1993
-
-
Ulrich Becker and Daniel Moldt.
Objekt-orientierte Konzepte für gefärbte Petrinetze.
In Scheschonk and Reisig (eds.), Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, pages 140-151.
-
Ulrich Becker and Daniel Moldt.
Object-oriented concepts for coloured Petri nets.
In IEEE, editor, Conference Proceedings, IEEE International
Conference on Systems, Man and Cybernetics, volume 3, pages 279-286, Le
Touquet, France, October 1993. IEEE.
-
Nicole Beckmann and Daniel Moldt.
How to produce prototyping specifications with coloured Petri nets.
Fachbereichsmitteilung FBI-HH-M 225/93, Universität Hamburg,
Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, January
1993.
-
Nicole Beckmann and Daniel Moldt.
Prototyping mit gefärbten Petrinetzen.
In Arbeitsgemeinschaft für Datenverarbeitung (ADV), editor, CASE 93, 4.-7. 10. 93, Wien, pages 92-111, Piaristengasse 19, Wien,
Austria, 1993. ADV, A. Riegelnik (ADV).
-
Alexander Borusan and Daniel Moldt.
A method for developing CIM-systems with coloured Petri nets.
In Michel Cotsafis and Francois Vernadat, editors, Advances in
Factories of the Future, CIM and Robotics, pages 91-100. Elsevier,
Amsterdam London New York, 1993.
-
Olaf Fricke and Daniel Moldt.
Formal description of structured analysis models by coloured Petri
nets.
In Scheschonk and Reisig (eds.), Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, pages 165-179.
-
Daniel Moldt.
Adaption von Software-Entwicklungsmethoden.
In Der Wiener IT-Kongress 1993 -Informations- und
Kommunikationstechnologie für das neue Europa, volume 1, pages 137-147,
Wien, Austria, April 1993. ADV, A. Riegelnik.
1992
-
-
Alexander Borusan and Daniel Moldt.
A method for modelling CIM-systems with coloured Petri nets.
In Proceedings of CARs & FOF '92, 8th International Conference
on CAD CAM, Robotics and Factories of the Future, Metz, France, volume 1,
pages 398-412, August 1992.
-
Alexander Borusan and Daniel Moldt.
A Method for modelling CIM-Systems with Coloured Petri Nets.
Fachbereichsmitteilung FBI-HH-M 226/93, Universität Hamburg,
Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, August
1992.
-
Daniel Moldt.
Adaption von Software-Entwicklungsmethoden.
Fachbereichsmitteilung FBI-HH-M-224/93, Universität Hamburg,
Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, December
1992.
1990
-
-
Daniel Moldt.
Analyse und Modellierung von Kassensystemen.
Diplomarbeit, Universität Hamburg, Fachbereich Informatik,
Vogt-Kölln Str. 30, D-22527 Hamburg, September 1990.
1984
-
-
Daniel Moldt.
Amazing - a game for visually and mentally handicapped children.
Diplomarbeit, Birmingham University, Department of Computer Science,
Birmingham, England, June 1984.
2009
-
-
Michael Duvigneau and Daniel Moldt, editors.
Proceedings of the Fifth International Workshop on Modeling of
Objects, Components and Agents, MOCA'09, Hamburg, number FBI-HH-B-290/09 in
Bericht, Vogt-Kölln Str. 30, D-22527 Hamburg, September 2009.
Universität Hamburg, Department Informatik.
-
Rolf v. Lüde, Daniel Moldt, and Rüdiger Valk, editors.
Selbstorganisation und Governance in künstlichen und
sozialen Systemen, volume 5 of Reihe: Wirtschaft - Arbeit -
Technik.
Lit-Verlag, Münster - Hamburg - London, 2009.
-
Daniel Moldt, Ulrich Ultes-Nitsche, and Juan Carlos Augusto, editors.
Proceedings of the 7th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information Systems -
MSVVEIS 2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009,
Portugal, 2009. INSTICC PRESS.
2008
-
-
Daniel Moldt, Ulrich Ultes-Nitsche, and Juan Carlos Augusto, editors.
Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information Systems,
MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008,
Portugal, 2008. INSTICC PRESS.
2007
-
-
Daniel Moldt, Fabrice Kordon, Kees van Hee, José-Manuel Colom, and Rémi
Bastide, editors.
Proceedings of the International Workshop on Petri Nets and
Software Engineering (PNSE'07), Siedlce, Poland, June 2007. Akademia
Podlaska.
2006
-
-
Daniel Moldt, editor.
Proceedings of the Fourth International Workshop on Modelling of
Objects, Components, and Agents. MOCA'06, number FBI-HH-B-272/06 in Report
of the Department of Informatics, Vogt-Kölln Str. 30, D-22527 Hamburg,
Germany, June 2006. Universität Hamburg, Department Informatik.
-
Daniel Moldt, editor.
Proceedings of the 13th Workshop Application and Tools for
Petri Nets. AWPN'06, number FBI-HH-B-267/06 in Report of the Department of
Informatics, Vogt-Kölln Str. 30, D-22527 Hamburg, Germany, 2006.
Universität Hamburg, Department Informatik.
2005
-
-
Berndt Farwer and Daniel Moldt, editors.
Object Petri Nets, Processes, and Object Calculi, number
Bericht des Fachbereichs Informatik FBI-HH-B-265/05, Vogt-Kölln Str.
30, D-22527 Hamburg, August 2005. Universität Hamburg, Fachbereich
Informatik.
2004
-
-
Gabriela Lindemann, Daniel Moldt, and Mario Paolucci, editors.
Regulated Agent-Based Social Systems. First International
Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and
Invited Papers, volume 2934 of Lecture Notes in Computer Science,
Berlin, Heidelberg, New York, 2004. Springer-Verlag.
-
Daniel Moldt, editor.
Proceedings of the Third International Workshop on Modelling of
Objects, Components, and Agents (MOCA'04), Ny Munkegade, Bldg. 540,
DK-8000 Aarhus C, Denmark, August 2004. University of Aarhus, Department of
Computer Science.
DAIMI PB: Aarhus, Denmark, October 11-13, number 571.
2003
-
-
Franziska Klügel, Gabriela Lindemann, and Daniel Moldt, editors.
Proceedings of the First International Workshop on Social Life
(SOLI'03), 2003.
In Verbindung mit der: 7th European Conference on Artificial Life
(ECAL 2003), 14.-17. September 2003, Dortmund, Germany.
-
Gabriela Lindemann, Daniel Moldt, and Mario Paolucci, editors.
Proceedings of the Second International Workshop on Regulated
Agent-Based Social Systems: Theories and Applications (RASTA'03), 2003.
In Verbindung mit: The Ninth International Conference on Artificial
Intelligence and Law (ICAIL 2003), 24-28 June, 2003 Edinburgh, Scotland, UK.
-
Rolf v. Lüde, Daniel Moldt, and Rüdiger Valk, editors.
Sozionik: Modellierung soziologischer Theorie, volume 2 of
Reihe: Wirtschaft - Arbeit - Technik.
Lit-Verlag, Münster - Hamburg - London, 2003.
2002
-
-
Wil van der Aalst, José-Manuel Colom, Fabrice Kordon, Gabriela Kotsis, and
Daniel Moldt, editors.
Petri Net Approaches for Modelling and Validation, LINCOM
Studies in Computer Science, München, 2002. LINCOM Europa.
-
Gabriela Lindemann, Daniel Moldt, Mario Paolucci, and Bin Yu, editors.
Proceedings of the International Workshop on Regulated
Agent-Based Social Systems: Theories and Applications (RASTA'02) as part of
AAMAS 2002, number FBI-HH-M-318/02, Vogt-Kölln Str. 30, D-22527
Hamburg, 2002.
-
Daniel Moldt, editor.
Proceedings of the Second Workshop on Modelling of Objects,
Components, and Agents (MOCA'02), Ny Munkegade, Bldg. 540, DK-8000 Aarhus
C, Denmark, August 2002. University of Aarhus, Department of Computer
Science.
DAIMI PB: Aarhus, Denmark, August 26-27, number 561.
2001
-
-
Daniel Moldt, editor.
Proceedings of the Workshop on Modelling of Objects, Components,
and Agents (MOCA'01). University of Aarhus, Department of Computer
Science, August 2001.
Published as DAIMI PB: Workshop Proceedings Modelling of Objects,
Components, and Agents; Aarhus, Denmark, August 27-28, number 553.
1997
-
-
Berndt Farwer, Daniel Moldt, and Mark-Oliver Stehr, editors.
Report FBI-HH-B-205/97: Proceedings of the Workshop on Petri
Nets in System Engineering (PNSE'97), Hamburg, September 25-26, 1997.
Universität Hamburg, Fachbereich Informatik, September 1997.
[Dr. D. Moldt]
[Publications]
[TGI]
Last Change: 12:34 09/29/2009
Imprint/Disclaimer