航空学报 > 1988, Vol. 9 Issue (7): 299-306

Petri网理论及其在离散事件系统中的应用

黄圣国, 尉忠信   

  1. 南京航空学院
  • 收稿日期:1987-05-07 修回日期:1900-01-01 出版日期:1988-07-25 发布日期:1988-07-25

PETRI NET THEORY AND ITS APPLICATION TO THE DISCRETE EVENT SYSTEMS

Huang Shengguo, Wei Zhongxin   

  1. Nanjing Aeronautical Institute
  • Received:1987-05-07 Revised:1900-01-01 Online:1988-07-25 Published:1988-07-25

摘要: 本文扼要介绍Petri网理论及Petri网图。阐明了Petri网的解析方法,举出了用Petri网建立离散事件系统模型的例子。最后用Petri网不变量对系统进行了验证。

Abstract: This paper breifly introduces petri net theory and petri net graph. The analytic method of petri net is demonstrated, and some examples of discrete event system modeled by the petri net are given. Finally, the actions of system are verified by means of the petri net invarriant.