基于極小T-不變量增加的Petri網可達性分析
2010-12-31 00:00:00彭建兵焦莉
計算機應用研究 2010年10期
摘要：基于極小T－不變量增加的Petri網的可達性分析，首先對網的狀態方程加以合理的約束，求得一組特征解向量；然后利用擴展極小T－不變量關系圖和擴展借矩陣在這些特征解向量的基礎上適當添加整數倍的極小T－不變量；最后再判斷這個添加極小T－不變量后的解向量的可達性。該方法不僅能判定一類含T－不變量Petri網的可達性，而且能在可達的情況下求得一個合法的變遷發生序列，并在一定程度上簡化了可達性分析的過程。
關鍵詞：Petri網；可達性；極小T－不變量；極小T－不變量關系圖；擴展極小T－不變量關系圖；借矩陣；擴展借矩陣
中圖分類號：TP301 文獻標志碼：A 文章編號：1001－3695(2010)10－3798－05
