petri net sample in python