#petri net #marking #condition #transition firing #resource #token count