Frank Heitmann

13 papers B 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2016 J jnl
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets.
Fundam. Informaticae
Michael Köhler-Bußmeier, Frank Heitmann
2015 — conf
Complexity Studies for Safe and Fan-Bounded Elementary Hornets.
CS&P
Michael Köhler-Bußmeier, Frank Heitmann
2014 — conf
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets.
CS&P
Michael Köhler-Bußmeier, Frank Heitmann
2014 J jnl
Structural and Dynamic Restrictions of Elementary Object Systems.
Fundam. Informaticae
Frank Heitmann, Michael Köhler-Bußmeier
2013 — —
Algorithms and Hardness Results for Object Nets.
Frank Heitmann
2013 B conf
Complexity Results for Elementary Hornets.
Petri Nets
Michael Köhler-Bußmeier, Frank Heitmann
2013 — conf
Structural and Dynamic Restrictions of Elementary Object Systems.
CS&P
Frank Heitmann, Michael Köhler-Bußmeier
2012 J jnl
Conservative Elementary Object Systems.
Fundam. Informaticae
Michael Köhler-Bußmeier, Frank Heitmann
2012 B conf
P- and T-Systems in the Nets-within-Nets-Formalism.
Petri Nets
Frank Heitmann, Michael Köhler-Bußmeier
2011 J jnl
Liveness of Safe Object Nets.
Fundam. Informaticae
Michael Köhler-Bußmeier, Frank Heitmann
2010 — conf
Complexity of LTL Model-Checking for Safe Object Nets.
LAM@LICS
Michael Köhler-Bußmeier, Frank Heitmann
2010 J jnl
Safeness for Object Nets.
Fundam. Informaticae
Michael Köhler-Bußmeier, Frank Heitmann
2009 J jnl
On the Expressiveness of Communication Channels for Object Nets.
Fundam. Informaticae
Michael Köhler-Bußmeier, Frank Heitmann