Petri网络理论在选煤厂控制软件编写中的应用

Petri网络在计算机系统中已得到成功的应用。用Petri网络描叙系统能同时获得动静态特性。本文提出了一种以时间为原则过渡的Petri网,简化了Petri网对一些工业过程的描述。同时,应用Petri网的理论,证明了我们提出的一种控制软件系统的优良性。