Bi-Reachability in Petri Nets with Data.

Lukasz Kaminski, Slawomir Lasota

Browse the full CONCUR paper archive.