#petri net #formal methods #system modeling #network model #P/T net #place-transition net