結果 : petri net in python