The following publications are possibly variants of this publication:
- A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri NetsRoland Bouroulet, Hanna Klaudel, Elisabeth Pelz. acsd 2004: 99-110 [doi]
- A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking SystemsHanna Klaudel, Franck Pommereau. FUIN, 50(1):33-55, 2002.
- A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN):::2:::Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz. apn 1995: 103-120