Return to Article Details Methods of dynamic verification of the code based on the interpretation of Petri nets Download Download PDF