Daniel Moldt

Laif-Oke Clasen

Marcel Hansson

2023

Associative Composition of Web Service Invocation Sequences Based on Agent Interaction Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing XVI, 2023

RENEW: Modularized Architecture and New Features.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

Enriching Heraklit Modules by Agent Interaction Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Projektorgansisationsmodellierung mittels Matrizen und Kausalnetzen in universitären Softwareentwicklungsprojekten.

[BibT_eX]

[DOI]

Laif-Oke Clasen

Matthias Feldmann

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Rüdiger Valk

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jan Henrik Röwekamp

Manuela Buchholz

Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets.

[BibT_eX]

[DOI]

Michael Haustermann

David Mosteller

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.

[BibT_eX]

EMISA Forum, 2020

The RMT Approach: A Systematic Approach to the Development of DSML with Integrated Simulation Based on Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Enterprise Modeling and Information Systems Architectures, 2020

Modular Model Checking of Reference Nets: MoMoC.

[BibT_eX]

[DOI]

Sven Willrodt

Michael Simon

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.

[BibT_eX]

[DOI]

Dennis Schmitz

Matthias Feldmann

Some Simple Extensions of Petri's Cycloids.

[BibT_eX]

[DOI]

Bjarne Jessen

2019

Tools for Curry-Coloured Petri Nets.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

RenewKube: Reference Net Simulation Scaling with Renew and Kubernetes.

[BibT_eX]

[DOI]

Jan Henrik Röwekamp

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

Simulating Place/Transition Nets by a Distributed, Web Based, Stateless Service.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

2018

Introduction to the special issue from Petri Nets 2016.

[BibT_eX]

[DOI]

Fabrice Kordon

Sci. Comput. Program., 2018

Ein Lehr- und Lernkonzept für die Softwareentwicklung im Team.

[BibT_eX]

Dennis Schmitz

Proceedings of the Hochschuldidaktik der Informatik - HDI 2018, 2018

Investigation of Containerizing Distributed Petri Net Simulations.

[BibT_eX]

[DOI]

Jan Henrik Röwekamp

Matthias Feldmann

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.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

Team Coordination Based on Causal Nets with Synchronous Channels.

[BibT_eX]

[DOI]

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).

[BibT_eX]

EMISA Forum, 2016

Paffin: Implementing an Integration of Agents and Workflows.

[BibT_eX]

[DOI]

Dennis Schmitz

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

From eHornets to Hybrid Agent and Workflow Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

Extending Renew's Algorithms for Distributed Simulation.

[BibT_eX]

[DOI]

Michael Simon

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

Refining the Quick Fix for the Petri Net Modeling Tool Renew.

[BibT_eX]

[DOI]

Jan Hicken

Michael Haustermann

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

Introducing Refactoring for Reference Nets.

[BibT_eX]

[DOI]

Max Friedrich

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.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

Integrating Agent Actions and Workflow Operations.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies - 13th German Conference, 2015

RenewGrass - A Tool for Building Scientific Workflows: Application to the Remote Sensing Domain.

[BibT_eX]

[DOI]

Hayat Bendoukha

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

Building Cloud-Based Scientific Workflows Made Easy: A Remote Sensing Application.

[BibT_eX]

[DOI]

Hayat Bendoukha

Proceedings of the Design, User Experience, and Usability: Users and Interactions, 2015

ICNETS: Towards Designing Inter-Cloud Workflow Management Systems by Petri Nets.

[BibT_eX]

[DOI]

Hayat Bendoukha

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2015

Workflow Management Principles for Interactions Between Petri Net-Based Agents.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2013

Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2013

Enabling Cooperation in an Inter-cloud Environment: An Agent-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Database and Expert Systems Applications, 2013

2012

Providing an Agent Flavored Integration for Workflow Management.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2012

2011

Abstractions in Actor and Activity Modeling.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2010

Modeling Systems of Systems as Nested Actor Systems Based on Petri Nets.

[BibT_eX]

[DOI]

Simon Adameit

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.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, 8th German Conference, 2010

Generating Executable MAS-Prototypes from SONAR Specifications.

[BibT_eX]

[DOI]

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

PyTri, a Visual Agent Programming Language.

[BibT_eX]

[DOI]

Jochen Simon

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

Helper Agents as a Means of Structuring Multi-Agent Applications.

[BibT_eX]

[DOI]

Kolja Markwardt

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

Re-Thinking Process Mining with Agents in Mind.

[BibT_eX]

[DOI]

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

Generating Executable Multi-agent System Prototypes from SONAR Specifications.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI, 2010

Improving a Workflow Management System with an Agent Flavour.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Michael Duvigneau

2009

A Formal Model for Organisational Structures behind Process-Aware Information Systems.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2009

A Reference Architecture for Modelling of Emotional Agent Systems.

[BibT_eX]

[DOI]

Julia Fix

Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

Requirements and Tools for the Debugging of Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

2008

Analysis of Mobile Agents using Invariants of Object Nets.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Modelling Multi-Agent Systems with Organizations in Mind.

[BibT_eX]

Proceedings of the Modelling, 2008

Modeling with Service Dependency Diagrams.

[BibT_eX]

Ragna Dirkner

Proceedings of the Modelling, 2008

From Agents and Plugins to Plugin-Agents, Concepts for Flexible Architectures.

[BibT_eX]

[DOI]

Proceedings of the NTMS 2008, 2008

Vorwort: International Workshop on Multi-Agent Systems as Middleware and Architectures for Business Systems.

[BibT_eX]

[DOI]

Lars Braubach

Alexander Pokahr

Proceedings of the Multikonferenz Wirtschaftsinformatik, 2008

Agent Models for Concurrent Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, 6th German Conference, 2008

From Multi-Agent to Multi-Organization Systems: Utilizing Middleware Approaches.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World IX, 2008

A Janus-Faced Net Component for the Prototyping of Open Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

Adding Runtime Net Manipulation Features to MulanViewer.

[BibT_eX]

[DOI]

Jan Schlüter

Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

Proposal for Editing Workflows in a Distributed Software Development Environment.

[BibT_eX]

[DOI]

Kolja Markwardt

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Artif. Soc. Soc. Simul., 2007

Towards organization-oriented software engineering.

[BibT_eX]

[DOI]

Christine Reese

Kolja Markwardt

Proceedings of the Software Engineering 2007, 2007

Introducing a Process Infrastructure for Agent Systems.

[BibT_eX]

[DOI]

Christine Reese

Till Dörges

Proceedings of the Languages, 2007

Plugin-Agents as Conceptual Basis for Flexible Software Structures.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications V, 2007

2006

My agents love to conform: Norms and emotion in the micro-macro link.

[BibT_eX]

[DOI]

Comput. Math. Organ. Theory, 2006

PAOSE: A Way to Develop Distributed Software Systems Based on Petri Nets and Agents.

[BibT_eX]

Proceedings of the Modelling, 2006

Using Multi-Agent Systems for Change Management Processes in the Context of Distributed Software Development Processes.

[BibT_eX]

Proceedings of the Technologies for Collaborative Business Process Management, 2006

Architektur für verteilte, agentenbasierte Workflows.

[BibT_eX]

[DOI]

Christine Reese

Sven Offermann

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.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, 4th German Conference, 2006

Distributed Business Processes in Open Agent Environments.

[BibT_eX]

Proceedings of the ICEIS 2006, 2006

Dynamic Service Composition: A Petri-Net Based Approach.

[BibT_eX]

Proceedings of the ICEIS 2006, 2006

Emotion-based norm enforcement and maintenance in multi-agent systems: foundations and petri net modeling.

[BibT_eX]

[DOI]

Julia Fix

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.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Normative Multi-Agent Systems, 2005

Towards a Distributed Tool Platform Based on Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, Third German Conference, 2005

Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets.

[BibT_eX]

[DOI]

Proceedings of the Socionics - Scalability of Complex Social Systems, 2005

Multi-agent concepts as basis for dynamic plug-in software architectures.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Modeling Dynamic Architectures Using Nets-Within-Nets.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Applying Multi-agent Concepts to Dynamic Plug-In Architectures.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 2005

Fragmented Workflows Supported by an Agent Based Architecture.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Information Systems III, 2005

2004

Goal Representation for BDI Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 2004

Konzeptuelle Modellierung web-basierter Prozesse und ihre Ausführung in Multiagentensystemen.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

Modelling and Analysis of Agent Protocols with Petri Nets.

[BibT_eX]

[DOI]

Kolja Lehmann

Proceedings of the Multiagent System Technologies, Second German Conference, 2004

A Proposal for Petri Net Based Web Service Application Modeling.

[BibT_eX]

[DOI]

Sven Offermann

Proceedings of the Web Engineering - 4th International Conference, 2004

DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2004

A Conceptual and Practical Framework for Web-Based Processes in Multi-Agent Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

Formal Semantics for AUML Agent Interaction Protocol Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering V, 5th International Workshop, 2004

2003

Pattern Based Workflow Design Using Reference Nets.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, International Conference, 2003

Modelling Mobility and Mobile Agents Using Nets within Nets.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

A Proposal for Structuring Petri Net-Based Agent Interaction Protocols.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

Emotion: Theoretical Investigations and Implications for Artificial Social Aggregates.

[BibT_eX]

[DOI]

Proceedings of the Regulated Agent-Based Social Systems, First International Workshop, 2002

Vesuf, eine modellbasierte User Interface Entwicklungsumgebung für das Ubiquitous Computing.

[BibT_eX]

[DOI]

Proceedings of the Mensch & Computer 2002: Vom interaktiven Werkzeug zu kooperativen Arbeits- und Lernwelten, 2002

Emotions in Hybrid Social Aggregates.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems. Design, 2002

Concurrent Architecture for a Multi-agent Platform.

[BibT_eX]

[DOI]

Michael Duvigneau

Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

2001

Emotions and Multimodal Interface-Agents: A Sociological View.

[BibT_eX]

[DOI]

Proceedings of the Mensch & Computer, 1. Fachübergreifende Konferenz, Bad Honnef, Germany, 2001

Object Coloured Petri Nets - A Formal Technique for Object Oriented Modeling.

[BibT_eX]

[DOI]

Christoph Maier

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

Modelling the Structure and Behaviour of Petri Net Agents.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

Statecharts as Protocols for Objects.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Object-Oriented Methods, 2000

Object Oriented Petri Nets in Business Process Modeling.

[BibT_eX]

[DOI]

Rüdiger Valk

Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

1999

Symmetric Communication between Coloured Petri Net Simulations and Java-Processes.

[BibT_eX]

[DOI]

Olaf Kummer

Frank Wienberg

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1997

Multi-Agent-Systems Based on Coloured Petri Nets.

[BibT_eX]

[DOI]

Frank Wienberg

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

Höhere Petrinetze als Grundlage für Systemspezifikationen.

[BibT_eX]

[DOI]

PhD thesis, 1996

Anforderungen an Petrinetzwerkzeuge für den kommerziellen Einsatz.

[BibT_eX]

EMISA Forum, 1996

Extensions of Normal OOA Methods and Techniques for Distributed Real-Time Systems.

[BibT_eX]