A Petri net-based distributed debugger.

An-Chi Liu, Andr Engberts

Browse the full COMPSAC paper archive.