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