BibSonomy :: author  ::

bookmarks

publications

(14)

• Generische Definition \hierarchischer\ \zeitbeschrifteter\ \höherer\ Petrinetze
  Hans Fleischhack and Ulrike Lichtblau and Michael Sonnenschein and Ralf Wieting (1993)
  to no-tag by schaal on 2007-07-06 10:33:42
  | BibTeX  
• Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets.
  Christoph Eichner and Hans Fleischhack and Roland Meyer and Ulrik Schrimpf and Christian Stehno SDL Forum 133-148 (2005)
  to dblp by dblp on 2005-06-06 00:00:00
  | URL | BibTeX  
• Diagonalizations over Polynomial Time Computable Sets.
  Klaus Ambos-Spies and Hans Fleischhack and Hagen Huwig Theor. Comput. Sci. 51 177-204 (1987)
  to dblp by dblp on 2003-11-19 00:00:00
  | URL | BibTeX  
• Compositional High Level Petri Nets with Timing Constraints - A Comparison.
  Elisabeth Pelz and Hans Fleischhack ACSD 132-141 (2003)
  to dblp by dblp on 2003-09-01 00:00:00
  | URL | BibTeX  
• Hierarchical Timed High Level Nets and Their Branching Processes.
  Hans Fleischhack and Elisabeth Pelz ICATPN 397-416 (2003)
  to dblp by dblp on 2003-06-02 00:00:00
  | URL | BibTeX  
• An M-Net Semantics for a Real-Time Extension of µSDL.
  Hans Fleischhack and Josef Tapken FME 162-181 (1997)
  to dblp by dblp on 2002-08-12 00:00:00
  | URL | BibTeX  
• Computing a Finite Prefix of a Time Petri Net.
  Hans Fleischhack and Christian Stehno ICATPN 163-181 (2002)
  to dblp by dblp on 2002-06-10 00:00:00
  | URL | BibTeX  
• A Compositional Petri Net Semantics for SDL.
  Hans Fleischhack and Bernd Grahlmann ICATPN 144-164 (1998)
  to dblp by dblp on 2002-05-17 00:00:00
  | URL | BibTeX  
• Model Checking of Time Petri Nets Based on Partial Order Semantics.
  Burkhard Bieber and Hans Fleischhack CONCUR 210-225 (1999)
  to dblp by dblp on 2002-04-22 00:00:00
  | URL | BibTeX  
• P-Superfairness in Nets.
  Hans Fleischhack Application and Theory of Petri Nets 193-204 (1992)
  to dblp by dblp on 2002-03-01 00:00:00
  | URL | BibTeX