Frank Heitmann

According to our database, Frank Heitmann authored at least 11 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

An Upper Bound for the Reachability Problem of Safe, Elementary Hornets.

Michael Köhler-Bußmeier, Frank Heitmann

Fundam. Informaticae, 2016

2015

Complexity Studies for Safe and Fan-Bounded Elementary Hornets.

Michael Köhler-Bußmeier, Frank Heitmann

Proceedings of the 24th International Workshop on Concurrency, 2015

2014

Structural and Dynamic Restrictions of Elementary Object Systems.

Frank Heitmann, Michael Köhler-Bußmeier

Fundam. Informaticae, 2014

2013

Algorithms and Hardness Results for Object Nets.

Frank Heitmann

PhD thesis, 2013

Complexity Results for Elementary Hornets.

Michael Köhler-Bußmeier, Frank Heitmann

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Conservative Elementary Object Systems.

Michael Köhler-Bußmeier, Frank Heitmann

Fundam. Informaticae, 2012

P- and T-Systems in the Nets-within-Nets-Formalism.

Frank Heitmann, Michael Köhler-Bußmeier

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

Liveness of Safe Object Nets.

Michael Köhler-Bußmeier, Frank Heitmann

Fundam. Informaticae, 2011

2010

Safeness for Object Nets.

Michael Köhler-Bußmeier, Frank Heitmann

Fundam. Informaticae, 2010

Complexity of LTL Model-Checking for Safe Object Nets.

Michael Köhler-Bußmeier, Frank Heitmann

Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

2009

On the Expressiveness of Communication Channels for Object Nets.

Michael Köhler-Bußmeier, Frank Heitmann

Fundam. Informaticae, 2009