有界Petri网相关论文
合法引发序列是Petri网可达性问题的一部分,它是Petri网研究领域的一个重要研究课题,本文针对Petri网的一个子类——有界Petri网给出......
作为分布式系统建模和分析工具,Petri网的应用领域越来越广泛。Petri网的变迁引发序列反映了Petri网的运行特征,一个Petri网产生的......
文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义......