Slide 1 PETRINETS Nipun Devlekar Zauja Lahtau Slide 2 PETRINETS DEFINITION : DEFINITION : PETRINET (place/ transition net): a formal, graphical, executable technique…