Z and High Level Petri Nets.

Kees M. van Hee, Lou J. Somers, Marc Voorhoeve

Browse the full FM paper archive.