• 
    

    
    

      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)行研究
      基于控制流隱藏的代碼迷惑
      芒康县| 甘谷县| 澜沧| 临湘市| 琼中| 育儿| 奇台县| 新余市| 兴城市| 尼玛县| 永修县| 友谊县| 扬中市| 房产| 和平区| 都昌县| 新龙县| 镇宁| 西充县| 长海县| 铜鼓县| 台州市| 晋宁县| 福贡县| 昌图县| 米泉市| 定远县| 江津市| 郎溪县| 玉山县| 静安区| 保靖县| 汉沽区| 武功县| 曲麻莱县| 通州市| 无为县| 桂阳县| 句容市| 罗源县| 崇明县|