 | 2005 |
|---|
| 13 |       | 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 | | Elisabeth Pelz,
Hans Fleischhack:
Compositional High Level Petri Nets with Timing Constraints - A Comparison.
ACSD 2003: 132-141 |
| 11 | | Hans Fleischhack,
Elisabeth Pelz:
Hierarchical Timed High Level Nets and Their Branching Processes.
ICATPN 2003: 397-416 |
| 2002 |
|---|
| 10 | | Hans Fleischhack,
Christian Stehno:
Computing a Finite Prefix of a Time Petri Net.
ICATPN 2002: 163-181 |
| 1999 |
|---|
| 9 | | Burkhard Bieber,
Hans Fleischhack:
Model Checking of Time Petri Nets Based on Partial Order Semantics.
CONCUR 1999: 210-225 |
| 1998 |
|---|
| 8 | | 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 |
