狠狠躁日日躁夜夜躁2022麻豆,亚洲欧洲日产8x8x,天天玩天天射天天操动态图,中文字幕在线观看亚洲,91黄色在线观看,一级黄色毛片在线免费观看,久草精品在线播放

安全管理網

現(xiàn)行
導航:安全管理網>> 安全標準>> 行業(yè)標準>> 機械>>正文

工業(yè)自動化系統(tǒng)與集成 過程規(guī)范語言 第12部分:外核

標 準 號: GB/T 20719.12-2010
替代情況:
發(fā)布單位: 中華人民共和國國家質量監(jiān)督檢驗檢疫總局、中國國家標準化管理委員會
起草單位: 北京機械工業(yè)自動化研究所、清華大學
發(fā)布日期: 2011-01-14
實施日期: 2011-06-01
點 擊 數:
更新日期: 2012年07月10日
內容摘要

GB/T 20719的本部分通過使用GB/T 20719的一組公理和定義提供了屬于PSL語方外核的概念表述。這些公理為GB/T 20719外核中的術語提供了語義的公理化。
GB/T 20719本部分的范圍包括:
——活動和子活動的集合;
——離散活動和狀態(tài);
——活動發(fā)生的約束;
——基本活動的并發(fā);
——復雜活動;
——復雜活動的發(fā)生。

如需幫助,請聯(lián)系我們。聯(lián)系電話400-6018-655。
網友評論 more
創(chuàng)想安科網站簡介會員服務廣告服務業(yè)務合作提交需求會員中心在線投稿版權聲明友情鏈接聯(lián)系我們