Verification Based on Unfoldings of Petri Nets with Read Arcs - Rodríguez, C (France, 2013)