摘　　　要：對于含有不可控變遷的Ｐｅｔｒｉ網(wǎng)監(jiān)控問題，允許狀態(tài)空間可能需要一組“或” 的允許約束來描述，而庫所不變量的監(jiān)控方法［１２］只將給定約束轉(zhuǎn)換為單個的允許約束，其監(jiān)控器將系統(tǒng)行為限制在允許標識狀態(tài)空間的較小子集內(nèi)，其限制性過于嚴格，且該方法無法解決某些監(jiān)控問題。針對上述問題，給出了一種基于關(guān)聯(lián)矩陣代數(shù)運算的約束轉(zhuǎn)換方法，能夠?qū)⒔o定約束轉(zhuǎn)換為一組“邏輯或”的允許約束，進而給出了邏輯型監(jiān)控器的設(shè)計方法，其控制策略的在線計算可以在多項式時間內(nèi)完成，能夠滿...