Petri net theory and system simulation (JAMES L.PETERSON, Wu Zhehui translated 1989)