Michael Köhler-Bußmeier

2023

Defining adaption measures for organisational multi-agent systems.

[BibT_eX]

[DOI]

Int. J. Parallel Emergent Distributed Syst., November, 2023

Modelling Adaptive Systems with Maude Nets-within-Nets.

[BibT_eX]

[DOI]

Proceedings of the Information Systems and Technologies, 2023

Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Studying the Micro-Macro-Dynamics in MAPE-Like Adaption Processes.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing XVI, 2023

Controlled Run-Time Adaptivity in Industrial Agent Systems - Challenges and Research Prospects.

[BibT_eX]

[DOI]

Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023

Modelling Adaptive Systems with Nets-Within-Nets in Maude.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

Robustness: A natural Definition based on Nets-within-Nets.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), 2023

Petri-Nets@Run.Time: Handling Uncertainty during Run-Time Adaptation using Digital Twins.

[BibT_eX]

[DOI]

2022

Balance vs. Contingency: Adaption Measures for Organizational Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing XV, 2022

On Combining Domain Modeling and Organizational Modeling for Developing Adaptive Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Towards Integrating Multi-Agent Organizations in OPC UA for Developing Adaptive Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26., 2022

A Maude Formalization of Object Nets.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

Analysing Adaption Processes of Hornets.

[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

Availability Analysis of the ONOS Architecture.

[BibT_eX]

[DOI]

Michael Müller

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

Improving Drone-based Parcel Delivery in a Delivery System at its Capacity Limit.

[BibT_eX]

[DOI]

Niclas zum Felde

2017

Restricting Hornets to Support Self-adaptive Systems.

[BibT_eX]

[DOI]

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

2016

From eHornets to Hybrid Agent and Workflow Systems.

[BibT_eX]

[DOI]

Thomas Wagner

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

2015

Complexity Studies for Safe and Fan-Bounded Elementary Hornets.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Concurrency, 2015

2014

A Survey of Decidability Results for Elementary Object Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

On the Complexity of the Reachability Problem for Safe, Elementary Hornets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

An Upper Bound for the Reachability Problem of Safe, Elementary Hornets.

[BibT_eX]

[DOI]

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014

2013

Defining Multi-Party Compromises using Unfoldings of Workflow Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

Structural and Dynamic Restrictions of Elementary Object Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Concurrency, 2013

Complexity Results for Elementary Hornets.

[BibT_eX]

[DOI]

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

2012

Conservative Elementary Object Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2012

Negotiating Inter-Organisational Processes.

[BibT_eX]

[DOI]

Proceedings of the 21th International Workshop on Concurrency, 2012

On the Complexity of Safe, Elementary Hornets.

[BibT_eX]

[DOI]

Proceedings of the 21th International Workshop on Concurrency, 2012

Model-Driven Middleware Support for Team-Oriented Process Management.

[BibT_eX]

[DOI]

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

P- and T-Systems in the Nets-within-Nets-Formalism.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

Liveness of Safe Object Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

2010

Modeling Organizational Units as Modular Components of Systems of Systems.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2010

Safeness for Object Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

SONAR/OREDI: A Tool for Creation and Deployment of Organisation Models.

[BibT_eX]

[DOI]

Endri Deliu

Proceedings of the Multiagent System Technologies, 8th German Conference, 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

Complexity of LTL Model-Checking for Safe Object Nets.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

A Survey of Elementary Object Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 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

2009

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

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2009

On the Expressiveness of Communication Channels for Object Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

SONAR<sup>*</sup>: A Multi-Agent Infrastructure for Active Application Architectures and Inter-organisational Information Systems.

[BibT_eX]

[DOI]

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

Hornets: Nets within Nets Combined with Net Algebra.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

Linear Properties of Zero-Safe Nets with Debit Tokens.

[BibT_eX]

[DOI]

Manfred Kudlek

Fundam. Informaticae, 2008

Analysis of Mobile Agents using Invariants of Object Nets.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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

Automatic Generation of Distributed Team Formation Algorithms from Organizational Models.

[BibT_eX]

[DOI]

Proceedings of the Coordination, 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

A Formal Model of Multi-Agent Organisations.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

The Reachability Problem for Object Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Closing the Gap Between Organizational Models and Multi-Agent System Deployment.

[BibT_eX]

[DOI]

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

Web Service Orchestration with Super-Dual Object Nets.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

Object Nets for Mobility.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Properties of Super-Dual Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

Dynamic Transition Refinement.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

Dynamic Service Composition: A Petri-Net Based Approach.

[BibT_eX]

Jan Ortmann

Proceedings of the ICEIS 2006, 2006

2005

Petri Net Processes for Zero-Safe Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 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

Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets.

[BibT_eX]

[DOI]

Jan Ortmann

Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets.

[BibT_eX]

[DOI]

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

2004

Objektnetze: Definitionen und Eigenschaften.

[BibT_eX]

[DOI]

PhD thesis, 2004

Mobile Object-Net Systems and their Processes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Objektnetze: Definition und Eigenschaften.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 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

Properties of Object Petri Nets.

[BibT_eX]

[DOI]

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

2003

Concurrency in Mobile Object Net Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Modelling Mobility and Mobile Agents Using Nets within Nets.

[BibT_eX]

[DOI]

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

2001

Modelling the Structure and Behaviour of Petri Net Agents.

[BibT_eX]

[DOI]