Michael Köhler-Bußmeier

Available identifiers

zbMath Open kohler-bussmeier.michaelMaRDI QIDQ1662543

List of research outcomes

Publication	Date of Publication	Type
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
Defining Multi-Party Compromises using Unfoldings of Workflow Nets	2014-04-25	Paper
On the Complexity of the Reachability Problem for Safe, Elementary Hornets	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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