[PPT] - Verification Based on Unfoldings of Petri Nets with Read Arcs C PowerPoint Presentation