国产精品麻豆久久99,韩日在线播放,午夜体验,鲁鲁狠色综合色综合网站,亚洲视频区,高清2019av手机版,精品中文字幕不卡在线视频

安全管理網(wǎng)

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

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

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

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

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