petri net method