P- and T-Systems in the Nets-within-Nets Formalism Heitmann, Frank Köhler-Bußmeier, Michael 2012 - ReposIt
Liveness and Reachability for Elementary Object Systems Köhler-Bußmeier, Michael Heitmann, Frank 2011 - ReposIt
Complexity of LTL Model-Checking for Safe Object Nets Köhler-Bußmeier, Michael Heitmann, Frank 2010 - ReposIt
On the Expressiveness of Communication Channels for Object Nets Köhler-Bußmeier, Michael Heitmann, Frank 2009 - ReposIt
On the Expressiveness of Communication Channels for Object Nets Köhler-Bußmeier, Michael Heitmann, Frank 2009 - ReposIt