Daniel Moldt

According to our database1, Daniel Moldt authored at least 114 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On reduction and parameter recovering of Petri's cycloids.
CoRR, 2024

Modellierung von komplexen Abläufen im Paose Kontext mit dem Diagram Tool.
Proceedings of the Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, 2024

Interface Nets Tool: Modellierung von Netzkompositionen.
Proceedings of the Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, 2024

Distributed P/T Net Simulation Prototypes Based on Event Streaming.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

Invariant Calculations for P/T-Nets with Synchronous Channels.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

2023
Associative Composition of Web Service Invocation Sequences Based on Agent Interaction Diagrams.
Proceedings of the Intelligent Distributed Computing XVI, 2023

RENEW: Modularized Architecture and New Features.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

Enriching Heraklit Modules by Agent Interaction Diagrams.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022
Projektorgansisationsmodellierung mittels Matrizen und Kausalnetzen in universitären Softwareentwicklungsprojekten.
Proceedings of the Modellierung 2022, 27. Juni - 01. Juli 2022, Hamburg, Deutschland., 2022

Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure.
Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

On Reduction of Cycloids.
Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

Enhancement of Renew to Version 4.0 using JPMS.
Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

2021
Cloud Native Simulation of Reference Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021

Petri Net Sagas.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021

Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020
Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-based Transformational Semantics.
EMISA Forum, 2020

The RMT Approach: A Systematic Approach to the Development of DSML with Integrated Simulation Based on Petri Nets.
Proceedings of the 10th International Workshop on Enterprise Modeling and Information Systems Architectures, 2020

Modular Model Checking of Reference Nets: MoMoC.
Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

Analyzing Software Engineering Courses with Process Mining and Business Intelligence.
Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

Some Simple Extensions of Petri's Cycloids.
Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

2019
Tools for Curry-Coloured Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

A First Prototype for the Visualization of the Reachability Graph of Reference Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

RenewKube: Reference Net Simulation Scaling with Renew and Kubernetes.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

Simulating Place/Transition Nets by a Distributed, Web Based, Stateless Service.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

2018
Introduction to the special issue from Petri Nets 2016.
Sci. Comput. Program., 2018

Ein Lehr- und Lernkonzept für die Softwareentwicklung im Team.
Proceedings of the Hochschuldidaktik der Informatik - HDI 2018, 2018

Investigation of Containerizing Distributed Petri Net Simulations.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

Graphical Simulation Feedback in Petri Net-based Domain-Specific Languages within a Meta-Modeling Environment.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

Team Coordination Based on Causal Nets with Synchronous Channels.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2016
Revisiting Workflow Interactions for Petri Net-Based Agents (Extended Abstract).
EMISA Forum, 2016

Paffin: Implementing an Integration of Agents and Workflows.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

From eHornets to Hybrid Agent and Workflow Systems.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

Extending Renew's Algorithms for Distributed Simulation.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

Refining the Quick Fix for the Petri Net Modeling Tool Renew.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

Introducing Refactoring for Reference Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software Engineering.
Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015
Integrating Agent Actions and Workflow Operations.
Proceedings of the Multiagent System Technologies - 13th German Conference, 2015

RenewGrass - A Tool for Building Scientific Workflows: Application to the Remote Sensing Domain.
Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

Building Cloud-Based Scientific Workflows Made Easy: A Remote Sensing Application.
Proceedings of the Design, User Experience, and Usability: Users and Interactions, 2015

ICNETS: Towards Designing Inter-Cloud Workflow Management Systems by Petri Nets.
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2015

Workflow Management Principles for Interactions Between Petri Net-Based Agents.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2013
Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum.
Softwaretechnik-Trends, 2013

Enabling Cooperation in an Inter-cloud Environment: An Agent-Based Approach.
Proceedings of the 24th International Workshop on Database and Expert Systems Applications, 2013

2012
Providing an Agent Flavored Integration for Workflow Management.
Trans. Petri Nets Other Model. Concurr., 2012

2011
Abstractions in Actor and Activity Modeling.
Proceedings of the Enterprise Modelling and Information Systems Architectures: Proceedings of the 4th International Workshop on Enterprise Modelling and Information Systems Architectures, 2011

2010
Modeling Organizational Units as Modular Components of Systems of Systems.
Trans. Petri Nets Other Model. Concurr., 2010

Modeling Systems of Systems as Nested Actor Systems Based on Petri Nets.
Proceedings of the Modellierung 2010, 24.-26. März 2010, Klagenfurt, Österreich, 2010

Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach.
Proceedings of the Multiagent System Technologies, 8th German Conference, 2010

Generating Executable MAS-Prototypes from SONAR Specifications.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

PyTri, a Visual Agent Programming Language.
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

Helper Agents as a Means of Structuring Multi-Agent Applications.
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

Re-Thinking Process Mining with Agents in Mind.
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

Generating Executable Multi-agent System Prototypes from SONAR Specifications.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI, 2010

Improving a Workflow Management System with an Agent Flavour.
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

Introduction.
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009
A Formal Model for Organisational Structures behind Process-Aware Information Systems.
Trans. Petri Nets Other Model. Concurr., 2009

A Reference Architecture for Modelling of Emotional Agent Systems.
Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

Requirements and Tools for the Debugging of Multi-Agent Systems.
Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

2008
Analysis of Mobile Agents using Invariants of Object Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Modelling Multi-Agent Systems with Organizations in Mind.
Proceedings of the Modelling, 2008

Modeling with Service Dependency Diagrams.
Proceedings of the Modelling, 2008

From Agents and Plugins to Plugin-Agents, Concepts for Flexible Architectures.
Proceedings of the NTMS 2008, 2008

Vorwort: International Workshop on Multi-Agent Systems as Middleware and Architectures for Business Systems.
Proceedings of the Multikonferenz Wirtschaftsinformatik, 2008

Agent Models for Concurrent Software Systems.
Proceedings of the Multiagent System Technologies, 6th German Conference, 2008

From Multi-Agent to Multi-Organization Systems: Utilizing Middleware Approaches.
Proceedings of the Engineering Societies in the Agents World IX, 2008

A Janus-Faced Net Component for the Prototyping of Open Systems.
Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

Adding Runtime Net Manipulation Features to MulanViewer.
Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

Proposal for Editing Workflows in a Distributed Software Development Environment.
Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

Structure in threes: modelling organization-oriented software architectures built upon multi-agent systems.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation.
J. Artif. Soc. Soc. Simul., 2007

Towards organization-oriented software engineering.
Proceedings of the Software Engineering 2007, 2007

Introducing a Process Infrastructure for Agent Systems.
Proceedings of the Languages, 2007

Plugin-Agents as Conceptual Basis for Flexible Software Structures.
Proceedings of the Multi-Agent Systems and Applications V, 2007

2006
My agents love to conform: Norms and emotion in the micro-macro link.
Comput. Math. Organ. Theory, 2006

PAOSE: A Way to Develop Distributed Software Systems Based on Petri Nets and Agents.
Proceedings of the Modelling, 2006

Using Multi-Agent Systems for Change Management Processes in the Context of Distributed Software Development Processes.
Proceedings of the Technologies for Collaborative Business Process Management, 2006

Architektur für verteilte, agentenbasierte Workflows.
Proceedings of the Service Oriented Electronic Commerce: Proceedings zur Konferenz im Rahmen der Multikonferenz Wirtschaftsinformatik, 2006

Analysis of Multi-Agent Interactions with Process Mining Techniques.
Proceedings of the Multiagent System Technologies, 4th German Conference, 2006

Distributed Business Processes in Open Agent Environments.
Proceedings of the ICEIS 2006, 2006

Dynamic Service Composition: A Petri-Net Based Approach.
Proceedings of the ICEIS 2006, 2006

Emotion-based norm enforcement and maintenance in multi-agent systems: foundations and petri net modeling.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005
My Agents Love to Conform: Emotions, Norms, and Social Control in Natural and Artificial Societies.
Proceedings of the Symposium on Normative Multi-Agent Systems, 2005

Towards a Distributed Tool Platform Based on Mobile Agents.
Proceedings of the Multiagent System Technologies, Third German Conference, 2005

Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets.
Proceedings of the Socionics - Scalability of Complex Social Systems, 2005

Multi-agent concepts as basis for dynamic plug-in software architectures.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Modeling Dynamic Architectures Using Nets-Within-Nets.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Applying Multi-agent Concepts to Dynamic Plug-In Architectures.
Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 2005

Fragmented Workflows Supported by an Agent Based Architecture.
Proceedings of the Agent-Oriented Information Systems III, 2005

2004
Goal Representation for BDI Agent Systems.
Proceedings of the Programming Multi-Agent Systems, 2004

Konzeptuelle Modellierung web-basierter Prozesse und ihre Ausführung in Multiagentensystemen.
Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

Modelling and Analysis of Agent Protocols with Petri Nets.
Proceedings of the Multiagent System Technologies, Second German Conference, 2004

A Proposal for Petri Net Based Web Service Application Modeling.
Proceedings of the Web Engineering - 4th International Conference, 2004

DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

A Conceptual and Practical Framework for Web-Based Processes in Multi-Agent Systems.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

An Extensible Editor and Simulation Engine for Petri Nets: Renew.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

Formal Semantics for AUML Agent Interaction Protocol Diagrams.
Proceedings of the Agent-Oriented Software Engineering V, 5th International Workshop, 2004

2003
Pattern Based Workflow Design Using Reference Nets.
Proceedings of the Business Process Management, International Conference, 2003

Modelling Mobility and Mobile Agents Using Nets within Nets.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

A Proposal for Structuring Petri Net-Based Agent Interaction Protocols.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002
Emotion: Theoretical Investigations and Implications for Artificial Social Aggregates.
Proceedings of the Regulated Agent-Based Social Systems, First International Workshop, 2002

Vesuf, eine modellbasierte User Interface Entwicklungsumgebung für das Ubiquitous Computing.
Proceedings of the Mensch & Computer 2002: Vom interaktiven Werkzeug zu kooperativen Arbeits- und Lernwelten, 2002

Emotions in Hybrid Social Aggregates.
Proceedings of the Mensch & Computer 2002: Vom interaktiven Werkzeug zu kooperativen Arbeits- und Lernwelten, 2002

Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing.
Proceedings of the Interactive Systems. Design, 2002

Concurrent Architecture for a Multi-agent Platform.
Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

2001
Emotions and Multimodal Interface-Agents: A Sociological View.
Proceedings of the Mensch & Computer, 1. Fachübergreifende Konferenz, Bad Honnef, Germany, 2001

Object Coloured Petri Nets - A Formal Technique for Object Oriented Modeling.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

Modelling the Structure and Behaviour of Petri Net Agents.
Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000
Statecharts as Protocols for Objects.
Proceedings of the Rigorous Object-Oriented Methods, 2000

Object Oriented Petri Nets in Business Process Modeling.
Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

1999
Symmetric Communication between Coloured Petri Net Simulations and Java-Processes.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1997
Multi-Agent-Systems Based on Coloured Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996
Höhere Petrinetze als Grundlage für Systemspezifikationen.
PhD thesis, 1996

Anforderungen an Petrinetzwerkzeuge für den kommerziellen Einsatz.
EMISA Forum, 1996

Extensions of Normal OOA Methods and Techniques for Distributed Real-Time Systems.
EMISA Forum, 1996


  Loading...