Petri net example entries