溫馨提示：您尚未登錄，請點 登陸 后下載，如果您還沒有賬戶請點 注冊 ，登陸完成后，請刷新本頁查看技術詳細信息。

本發明一種檢測PLC梯形圖程序中是否存在競態的方法，通過計算普通Petri網的可達圖來確定待檢測程序中是否存在競態，不僅可以一次性完成檢測工作，而且可以讓程序員清晰、直觀地從可達圖中直接發現程序中隱含的邏輯錯誤，同時檢測的每個步驟都可以由計...
該專利屬于華僑大學所有，僅供學習研究參考，未經過華僑大學授權不得商用。

詳細技術文檔下載地址

溫馨提示：您尚未登錄，請點 登陸 后下載，如果您還沒有賬戶請點 注冊 ，登陸完成后，請刷新本頁查看技術詳細信息。