• 
    

    
    

      99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

      真并發(fā)等價(jià)性下的流程模型轉(zhuǎn)換方法

      2012-04-29 00:44:03張曼段振華
      關(guān)鍵詞:流網(wǎng)控制流充分條件

      張曼 段振華

      摘要:針對(duì)工作流建模過程中流程模型的演化問題,在真并發(fā)等價(jià)性概念下,提出將圖形化控制流模型轉(zhuǎn)換為順序與并發(fā)結(jié)構(gòu)可分隔處理的可分離形式的方法,采用自由選擇工作流網(wǎng)建??刂屏髂P?,以完全并發(fā)互模擬為真并發(fā)等價(jià)概念,定義兩個(gè)安全網(wǎng)間是完全并發(fā)互模擬關(guān)系的充分條件;基于Petri網(wǎng)的網(wǎng)展開,提出獲得工作流網(wǎng)的可分離形式的局部網(wǎng)展開算法;通過證明局部展開網(wǎng)與原工作流網(wǎng)滿足完全并發(fā)互模擬的充分條件,保證兩個(gè)網(wǎng)模型的等價(jià)性,所提轉(zhuǎn)換方法與已有方法相比,能夠保留并發(fā)層次,且所需步驟更少,有利于流程模型的演化。

      猜你喜歡
      流網(wǎng)控制流充分條件
      工作流網(wǎng)頻繁子網(wǎng)挖掘研究進(jìn)展①
      集合、充分條件與必要條件、量詞
      抵御控制流分析的Python 程序混淆算法
      工控系統(tǒng)中PLC安全漏洞及控制流完整性研究
      電子科技(2021年2期)2021-01-08 02:25:58
      抵御控制流分析的程序混淆算法
      利用Excel進(jìn)行流網(wǎng)的簡(jiǎn)單繪制
      有限μM,D-正交指數(shù)函數(shù)系的一個(gè)充分條件
      某工程黏土心墻壩滲流場(chǎng)流網(wǎng)數(shù)值模擬計(jì)算
      城市軌道交通多層排流網(wǎng)投入運(yùn)行研究
      基于控制流隱藏的代碼迷惑
      安吉县| 民丰县| 石棉县| 会宁县| 樟树市| 华宁县| 朔州市| 石嘴山市| 定兴县| 运城市| 闽侯县| 郑州市| 泗水县| 临清市| 沅江市| 凤山县| 津市市| 田东县| 晴隆县| 峨眉山市| 中江县| 西华县| 宁波市| 佛学| 昭通市| 吴忠市| 自贡市| 榕江县| 闽侯县| 固始县| 虹口区| 斗六市| 炎陵县| 榆社县| 德安县| SHOW| 大石桥市| 兖州市| 尉犁县| 安达市| 罗定市|