一本介绍Petri网的定义、基本性质和分析方法的书，由袁崇义编写。-One introduces the definition of Petri nets, basic properties and methods of analysis of the book, written by the Yuan Chongyi.