Property Directed Reachability for Generalized Petri Nets.

Nicolas Amat, Silvano Dal-Zilio, Thomas Hujsa

Browse the full TACAS paper archive.