色爱综合区,亚洲中文字幕黄网站,国产三级在线播放欧美,美国一级毛片aa,av无码,天天干,婷婷六月丁香91视频,免费的黄色网站4mmb

安全管理網(wǎng)

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

標(biāo) 準(zhǔn) 號(hào)： GB/T 20719.12-2010
替代情況：
發(fā)布單位： 中華人民共和國(guó)國(guó)家質(zhì)量監(jiān)督檢驗(yàn)檢疫總局、中國(guó)國(guó)家標(biāo)準(zhǔn)化管理委員會(huì)
起草單位： 北京機(jī)械工業(yè)自動(dòng)化研究所、清華大學(xué)
發(fā)布日期： 2011-01-14
實(shí)施日期： 2011-06-01
點(diǎn) 擊 數(shù)：
更新日期： 2012年07月10日
內(nèi)容摘要

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

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