摘要: 本文扼要介绍Petri网理论及Petri网图。阐明了Petri网的解析方法,举出了用Petri网建立离散事件系统模型的例子。最后用Petri网不变量对系统进行了验证。
黄圣国;尉忠信. Petri网理论及其在离散事件系统中的应用[J]. 航空学报, 1988, 9(7): 299-306.
Huang Shengguo;Wei Zhongxin. PETRI NET THEORY AND ITS APPLICATION TO THE DISCRETE EVENT SYSTEMS[J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 1988, 9(7): 299-306.