Hans Fleischhack

发表

An M-Net Semantics for a Real-Time Extension of µSDL

Josef Tapken, Hans Fleischhack, H. Fleischhack, 1997, FME.

Computing Petri Net Languages by Reductions

Hans Fleischhack, Anja Gronewold, H. Fleischhack, 1995, FCT.

An M-net Semantics of B(PN)2

Hanna Klaudel, Elisabeth Pelz, Richard P. Hopkins, 1995, STRICT.

P-Genericity and Strong G-Genericity

Hans Fleischhack, 1986, MFCS.

A Compositional Petri Net Semantics for SDL

Hans Fleischhack, Bernd Grahlmann, H. Fleischhack, 1998, ICATPN.

A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2

Hanna Klaudel, Elisabeth Pelz, Richard P. Hopkins, 1995, Application and Theory of Petri Nets.

P-Superfairness in Nets

Hans Fleischhack, 1992, Application and Theory of Petri Nets.

Model Checking of Time Petri Nets Based on Partial Order Semantics

Hans Fleischhack, Burkhard Bieber, H. Fleischhack, 1999, CONCUR.

On diaginalizations over complexity classes

Hans Fleischhack, 1985 .

Compositional high level Petri nets with timing constraints - a comparison

Elisabeth Pelz, Hans Fleischhack, 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..

Diagonalizing over Deterministic Polynomial Time

Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig, 1987, CSL.

MOBY-a tool for high level Petri nets with objects

Hans Fleischhack, U. Lichtblau, H. Fleischhack, 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

Diagonalizations over Polynomial Time Computable Sets

Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig, 1987, Theor. Comput. Sci..

Hierarchical Timed High Level Nets and Their Branching Processes

Elisabeth Pelz, Hans Fleischhack, E. Pelz, 2003, ICATPN.

Computing a Finite Prefix of a Time Petri Net

Hans Fleischhack, Christian Stehno, H. Fleischhack, 2002, ICATPN.

Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets

Roland Meyer, Hans Fleischhack, Christian Stehno, 2005, SDL Forum.

Towards compositional verification of SDL systems

Hans Fleischhack, Bernd Grahlmann, H. Fleischhack, 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

A Petri net semantics for B(PN)/sup 2/ with procedures

Hans Fleischhack, Bernd Grahlmann, H. Fleischhack, 1997, Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems.