High Level Expressions with their SOS Semantics (Extended Abstract). - Hanna Klaudel; Robert-C. Riemann (CONCUR, 1997)

General Refinement for High Level Petri Nets. - Raymond Devillers; Hanna Klaudel; Robert-C. Riemann (FSTTCS, 1997)

M-net Calculus Based Semantics for Triggers. - Véronique Benzaken; Nicolas Hugon; Hanna Klaudel; Elisabeth Pelz; Robert-C. Riemann (ICATPN, 1998)

Refinement-based Semantics of Parallel Procedures. - Hanna Klaudel; Robert-C. Riemann (PDPTA, 1999)

Modelling of concurrent systems: structural and semantical methods in the high level Petri net calculus. - Robert-C. Riemann (Utz, 1999)

General parameterised refinement and recursion for the M-net calculus. - Raymond Devillers; Hanna Klaudel; Robert-C. Riemann (Theor. Comput. Sci., 2003)