《PETRI Network Theory and System Simulation》 China University of Mining and Technology Press