书籍详细信息: Petri网原理