A Petri Net Method for the Formal Verification of Parallel Processes.

Kenneth G. Krauss, Samuel L. Gulden

Browse the full ICPP paper archive.