與平台無關的Petri網編輯器項目（PIPE）創建和分析Petri網的快速，高效和有效的。一個關鍵的設計特點是模塊化的方法通過用於分析，使新的模塊可以很容易地和有力地寫入，使用內置的數據層的方法為標準計算。提供了六個分析模塊，包括分析不變，狀態空間分析（死鎖，等等），以及模擬分析和分類。PIPE符合XML...
與平台無關的Petri網編輯器項目（PIPE）創建和分析Petri網的快速，高效和有效的。一個關鍵的設計特點是模塊化的方法通過用於分析，使新的模塊可以很容易地和有力地寫入，使用內置的數據層的方法為標準計算。提供了六個分析模塊，包括分析不變，狀態空間分析（死鎖，等等），以及模擬分析和分類。PIPE符合XML...