2005 |
13 | EE | Christoph Eichner,
Hans Fleischhack,
Roland Meyer,
Ulrik Schrimpf,
Christian Stehno:
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets.
SDL Forum 2005: 133-148 |
2003 |
12 | EE | Elisabeth Pelz,
Hans Fleischhack:
Compositional High Level Petri Nets with Timing Constraints - A Comparison.
ACSD 2003: 132-141 |
11 | EE | Hans Fleischhack,
Elisabeth Pelz:
Hierarchical Timed High Level Nets and Their Branching Processes.
ICATPN 2003: 397-416 |
2002 |
10 | EE | Hans Fleischhack,
Christian Stehno:
Computing a Finite Prefix of a Time Petri Net.
ICATPN 2002: 163-181 |
1999 |
9 | EE | Burkhard Bieber,
Hans Fleischhack:
Model Checking of Time Petri Nets Based on Partial Order Semantics.
CONCUR 1999: 210-225 |
1998 |
8 | EE | Hans Fleischhack,
Bernd Grahlmann:
A Compositional Petri Net Semantics for SDL.
ICATPN 1998: 144-164 |
1997 |
7 | | Hans Fleischhack,
Josef Tapken:
An M-Net Semantics for a Real-Time Extension of µSDL.
FME 1997: 162-181 |
1995 |
6 | | Eike Best,
Hans Fleischhack,
Wojciech Fraczak,
Richard P. Hopkins,
Hanna Klaudel,
Elisabeth Pelz:
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2.
Application and Theory of Petri Nets 1995: 103-120 |
5 | | Anja Gronewold,
Hans Fleischhack:
Computing Petri Net Languages by Reductions.
FCT 1995: 253-262 |
1992 |
4 | | Hans Fleischhack:
P-Superfairness in Nets.
Application and Theory of Petri Nets 1992: 193-204 |
1987 |
3 | | Klaus Ambos-Spies,
Hans Fleischhack,
Hagen Huwig:
Diagonalizing over Deterministic Polynomial Time.
CSL 1987: 1-16 |
2 | | Klaus Ambos-Spies,
Hans Fleischhack,
Hagen Huwig:
Diagonalizations over Polynomial Time Computable Sets.
Theor. Comput. Sci. 51: 177-204 (1987) |
1986 |
1 | | Hans Fleischhack:
P-Genericity and Strong G-Genericity.
MFCS 1986: 341-349 |