Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs.

Csar Rodrguez, Stefan Schwoon

Browse the full ATVA paper archive.