会议论文《基于T-不变量消除的Petri网合法变迁引发序列判定算法》提出了一种通过T-不变量消除方法判定Petri网合法变迁引发序列的算法。该研究针对Petri网中变迁序列的合法性问题，结合T-不变量特性进行分析，有效提高了判定效率。文章在第十六届全国网络与数据通信学术会议(NDCC2008)上发表，对Petri网理论及应用具有重要参考价值。
文档为pdf格式，0.38MB，总共6页。
举报
