广义工作流网相关硕士博士期刊学术论文

基于工作流的Petri网结构化建模方法，证明了工作流网的P-不变量存在性、可覆盖性，给出了一个工作流模型可靠性（soundness）的充要条件，得......