Verification in Concurrent Programming with Petri Nets Structural Techniques