See the Petri net folder.