The Petri Net Method