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
Liveness of safe object nets	2012-02-28	Paper
Safeness for object nets	2011-03-09	Paper
On the expressiveness of communication channels for object nets	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
Linear properties of zero-safe nets with debit tokens	2009-01-28	Paper
The reachability problem for object nets	2007-10-17	Paper
A formal model of multi-agent organisations	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5486054	2006-09-06	Paper
Properties of super-dual nets	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