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