A Slicing Algorithm of Concurrency Modeling Based on Petri Nets.

Carl K. Chang, Huiyu Wang

Browse the full ICPP paper archive.