PetriNet Implementation of Petri net and 2 programs using it. Digrams show transitions for each program.