scaffold petri net implementation