Z and High Level Petri Nets

K. V. Hee,L. Somers,M. Voorhoeve
DOI: https://doi.org/10.1007/3-540-54834-3_14
1991-10-21
Abstract:
What problem does this paper attempt to address?