工業自動化系統與集成 過程規范語言 第12部分：外核 現行
Industrial automation systems and integration—Process specification language—Part 12:Outer core
標準號：GB/T 20719.12-2010
基本信息
標準號：GB/T 20719.12-2010
發布時間：2011-01-14
實施時間：2011-06-01
首發日期：2011-01-14
出版單位：中國標準出版社查看詳情>
起草人：劉穎、黃雙喜
出版機構：中國標準出版社
標準分類： 計算機應用
ICS分類：工業過程的測量與控制
提出單位：中國機械工業聯合會
起草單位：北京機械工業自動化研究所、清華大學
歸口單位：全國自動化系統與集成標準化技術委員會(SAC/TC 159)
發布部門：中華人民共和國國家質量監督檢驗檢疫總局 中國國家標準化管理委員會
主管部門：全國自動化系統與集成標準化技術委員會(SAC/TC 159)
標準簡介
GB/T 20719的本部分通過使用GB/T 20719的一組公理和定義提供了屬于PSL語方外核的概念表述。這些公理為GB/T 20719外核中的術語提供了語義的公理化。GB/T 20719本部分的范圍包括：——活動和子活動的集合；——離散活動和狀態；——活動發生的約束；——基本活動的并發；——復雜活動；——復雜活動的發生。
推薦檢測機構
申請入駐
暫未檢測到相關機構，邀您申請入駐~
推薦認證機構
申請入駐
暫未檢測到相關機構，邀您申請入駐~
推薦培訓機構
申請入駐
暫未檢測到相關機構，邀您申請入駐~
? 2018 北京寰標偉業科技發展有限公司版權所有并保留所有權利。
ICP備案證書號：京ICP備17031081號-1 客服電話：010-62050868
