On the Expressiveness of Communication Channels for Object Nets. - Michael Köhler-Bußmeier; Frank Heitmann (Fundam. Informaticae, 2009)

Complexity of LTL Model-Checking for Safe Object Nets. - Michael Köhler-Bußmeier; Frank Heitmann (LAM@LICS, 2010)

Safeness for Object Nets. - Michael Köhler-Bußmeier; Frank Heitmann (Fundam. Informaticae, 2010)

Liveness of Safe Object Nets. - Michael Köhler-Bußmeier; Frank Heitmann (Fundam. Informaticae, 2011)

P- and T-Systems in the Nets-within-Nets-Formalism. - Frank Heitmann; Michael Köhler-Bußmeier (Petri Nets, 2012)

Conservative Elementary Object Systems. - Michael Köhler-Bußmeier; Frank Heitmann (Fundam. Informaticae, 2012)

Complexity Results for Elementary Hornets. - Michael Köhler-Bußmeier; Frank Heitmann (Petri Nets, 2013)

Structural and Dynamic Restrictions of Elementary Object Systems. - Frank Heitmann; Michael Köhler-Bußmeier (CS&P, 2013)

Algorithms and Hardness Results for Object Nets. - Frank Heitmann (2013)

An Upper Bound for the Reachability Problem of Safe, Elementary Hornets. - Michael Köhler-Bußmeier; Frank Heitmann (CS&P, 2014)

Complexity Studies for Safe and Fan-Bounded Elementary Hornets. - Michael Köhler-Bußmeier; Frank Heitmann (CS&P, 2015)