Non-reachability in Petri Nets with Delaying Places.

Matthias Werner, Gero Mhl

Browse the full MASCOTS paper archive.