Fleischhack, H.

• Fleischhack, Hans; Pelz, Elisabeth:
  Hierarchical Timed High Level Nets and Their Branching Processes. 2003.

• Pelz, Elisabeth; Fleischhack, Hans:
  Compositional High Level Petri Nets with Timing Constraints - A Comparison. 2003.

• Fleischhack, Hans; Pelz, Elizabeth:
  High Level Branching Processes for High Level Petri Nets. 2003.

• Fleischhack, Hans; Stehno, Christian:
  Computing a Finite Prefix of a Time Petri Net. 2002.

• Bieber, Burkhard; Fleischhack, Hans:
  Model Checking of Time Petri Nets Based on Partial Order Semantics. 1999.

• Fleischhack, Hans; Grahlmann, Bernd:
  Towards compositional verification of SDL systems. 1998.

• Fleischhack, Hans; Grahlmann, Bernd:
  A Compositional Petri Net Semantics for SDL. 1998.

• Fleischhack, Hans; Grahlmann, Bernd:
  A Compositional Petri Net Semantics for SDL. 1997.

• Fleischhack, Hans; Grahlmann, Bernd:
  A Petri Net Semantics for B(PN)² with Procedures. 1997.

• Fleischhack, H.; Grahlmann, B.:
  A Petri Net Semantics for B(PN)² with Procedures which Allows Verification. 1996.

• Best, E.; Fleischhack, H.; Fraczak, W.; Hopkins, R.P.; Klaudel, H.; Pelz, E.:
  A Class of Composable High Level Petri Nets. 1995.

• Best, Eike; Fleischhack, Hans; Fraczak, Wojciech; Hopkins, Richard P.; Klaudel, Hanna; Pelz, Elisabeth:
  An M-net Semantics of B(PN)². 1995.

• Desel, Jörg; Fleischhack, Hans; Oberweis, Andreas; Sonnenschein, Michael:
  2. Workshop Algorithmen und Werkzeuge für Petrinetze. 1995.

• Fleischhack, Hans; Tapken, Josef:
  Eine kompositionelle Petrinetz-Semantik für SDL-Spezifikationen. 1995.

• Best, E.; Fleischhack, H.; Fraczak, W.; Hopkins, R.P.; Klaudel, H.; Pelz, E.:
  A High Level Petri Net Semantics of B(PN)². 1994.

• Fleischhack, H.:
  P-Superfairness in Nets. 1992.

• Fleischhack, H.; Weber, A.:
  Rule Based Programming, Predicate Transition Nets and the Modeling of Office Procedures and Flexible Manufacturing Systems. 1989.

Back to the Petri Nets Bibliography