小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2003年
11期
1973-1977
,共5页
工作流模型%扩展的信牌驱动模型%配对%petri网
工作流模型%擴展的信牌驅動模型%配對%petri網
공작류모형%확전적신패구동모형%배대%petri망
在分层的工作流模型研究的基础上,指出了WPDL中AND-JOIN的语义问题,并在扩展的信牌驱动模型层,对配对结构进行了系统、深入的研究.形式地定义了最宽泛的配对概念和严格的正则配对的概念,分析了它们各自的优缺点.然后定义了一个既有严格语义、性能可以确定,但要求相对宽泛、相对比较实用的扩展正则配对的概念.利用此概念,严格地定义了扩展的信牌驱动模型.
在分層的工作流模型研究的基礎上,指齣瞭WPDL中AND-JOIN的語義問題,併在擴展的信牌驅動模型層,對配對結構進行瞭繫統、深入的研究.形式地定義瞭最寬汎的配對概唸和嚴格的正則配對的概唸,分析瞭它們各自的優缺點.然後定義瞭一箇既有嚴格語義、性能可以確定,但要求相對寬汎、相對比較實用的擴展正則配對的概唸.利用此概唸,嚴格地定義瞭擴展的信牌驅動模型.
재분층적공작류모형연구적기출상,지출료WPDL중AND-JOIN적어의문제,병재확전적신패구동모형층,대배대결구진행료계통、심입적연구.형식지정의료최관범적배대개념화엄격적정칙배대적개념,분석료타문각자적우결점.연후정의료일개기유엄격어의、성능가이학정,단요구상대관범、상대비교실용적확전정칙배대적개념.이용차개념,엄격지정의료확전적신패구동모형.