Michael Köhler-Bußmeier

Available identifiers

zbMath Open kohler-bussmeier.michaelMaRDI QIDQ1662543

List of research outcomes

Publication	Date of Publication	Type
Analysing adaption processes of Hornets	2024-06-05	Paper
Modular rewritable Petri nets: an efficient model for dynamic distributed systems	2024-02-20	Paper
Restricting \textsc{Hornets} to support self-adaptive systems	2018-08-20	Paper
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets	2017-03-22	Paper
Structural and Dynamic Restrictions of Elementary Object Systems	2015-06-26	Paper
A Survey of Decidability Results for Elementary Object Systems	2014-05-14	Paper
On the Complexity of the Reachability Problem for Safe, Elementary Hornets	2014-04-25	Paper
Defining Multi-Party Compromises using Unfoldings of Workflow Nets	2014-04-25	Paper
Complexity Results for Elementary Hornets	2013-06-28	Paper
Conservative Elementary Object Systems	2013-01-14	Paper
P- and T-Systems in the Nets-within-Nets-Formalism	2012-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q3117556	2012-02-28	Paper
Safeness for Object Nets	2011-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q5192934	2009-08-10	Paper
Hornets: Nets within Nets Combined with Net Algebra	2009-06-30	Paper
A Formal Model for Organisational Structures behind Process-Aware Information Systems	2009-04-24	Paper
Object Nets for Mobility	2009-03-11	Paper
Web Service Orchestration with Super-Dual Object Nets	2009-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q5506378	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5422285	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5422286	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5486054	2006-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q5486063	2006-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q5472935	2006-06-19	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4679583	2005-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4818734	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4461958	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4535179	2002-06-13	Paper

Research outcomes over time

This page was built for person: Michael Köhler-Bußmeier