机译:具有非循环分解和循环减少的循环工作流模型的逐步结构验证
Department of Industrial and Management Engineering, Inje University 197 Inje-ro Gimhae, GyeongNam 621-749, Republic of Korea;
Department of Information and Communication Systems, Inje University, South Korea;
Department of Industrial and Management Engineering, Dongseo University, South Korea;
Department of Information Systems, City University of Hong Kong, China;
Workflow management; Methodologies and tools; Structural verification; Acyclic decomposition; Loop reduction;
机译:应用基于Petri网的约简方法验证工作流模型的正确性
机译:非循环扩展自由选择工作流网及其子网之间协议继承的多项式时间验证
机译:用于无限等待循环时间表设计的结构分解方法,用于反复操作运输系统专用于供应循环
机译:工作流模型中循环结构的验证和简化
机译:立体控制水霉菌激素(Z)-24(28)-dehydro-oogoniol的合成以及Luche还原无环和环状α,β-环氧酮的作用。
机译:使用重组人骨形态发生蛋白2在大鼠腓骨模型中逐步验证骨再生
机译:工作流网络的连通性:逐步验证的基础
机译:用三乙基硼氢化锂简便地还原烷基甲苯磺酸酯。环状和无环醇脱氧的有利方法。