中文模板 Key words: workflow; process; semantic verification; Petri net; reduction [gap=170]关键词 : 工作流;过程;语义验证;Petri网;化简
基于16个网页-相关网页
Verification of semantic properties 语义性质验证
·2,447,543篇论文数据，部分数据来源于NoteExpress
This paper focuses on semantic verification method, solving the problem of conflict checking under the combination of control flow, data flow and resource dimensions of workflow processes.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题，研究了过程的语义验证方法。
youdao
应用推荐
模块上移
模块下移
不移动