Scripts to generate various Petri nets