#petri net #state machine #process model #graph model #marking