A High-Level Petri Net for a Subset of FGHC.

John Jeffrey, Tadao Murata

Browse the full SEKE paper archive.