CMSC 445 Petri Net coding project