真并發(fā)等價性下的流程模型轉換方法
2012-04-29 00:44:03張曼段振華
西安交通大學學報 2012年10期
張曼 段振華
摘要：針對工作流建模過程中流程模型的演化問題，在真并發(fā)等價性概念下，提出將圖形化控制流模型轉換為順序與并發(fā)結構可分隔處理的可分離形式的方法，采用自由選擇工作流網(wǎng)建?？刂屏髂Ｐ停酝耆l(fā)互模擬為真并發(fā)等價概念，定義兩個安全網(wǎng)間是完全并發(fā)互模擬關系的充分條件；基于Petri網(wǎng)的網(wǎng)展開，提出獲得工作流網(wǎng)的可分離形式的局部網(wǎng)展開算法；通過證明局部展開網(wǎng)與原工作流網(wǎng)滿足完全并發(fā)互模擬的充分條件，保證兩個網(wǎng)模型的等價性，所提轉換方法與已有方法相比，能夠保留并發(fā)層次，且所需步驟更少，有利于流程模型的演化。
猜你喜歡
高技術通訊(2022年8期)2022-11-06 06:06:14
新世紀智能(數(shù)學備考)(2021年9期)2021-11-24 01:14:32
數(shù)字技術與應用(2021年5期)2021-06-29 10:33:46
電子科技(2021年2期)2021-01-08 02:25:58
計算機工程與設計(2020年11期)2020-11-17 06:56:00
科學與財富(2020年15期)2020-07-04 04:06:44
數(shù)學年刊A輯(中文版)(2019年4期)2019-12-16 09:09:34
水利科技與經(jīng)濟(2017年4期)2017-04-22 02:38:02
城市軌道交通研究(2015年11期)2015-06-28 11:42:56
電子設計工程(2015年6期)2015-02-27 12:04:56
