基于着色Petri网的工作流建模和合理性分析

针对工作流模型表达能力较差,以及合理性不容易验证的问题,将工作流管理联盟定义的工作流模型映射为工作流网络。通过应用统一的资源管理器和引入着色Petri网,得到着色工作流网模型,这种模型更简单、更容易计算机化。在定义并证明两种不会破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网,使所有工作流模型的合理性问题都可以在多项式时间里得到解决。

基于Petri网的工作流模型合理性研究

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.

论加权扩充自由选择网的活性与安全性(英文)

活性与安全性是网系统重要的行为性质 .对于位置 /变迁网系统的一些子类 ,人们已为之导出许多有意义的结果 .该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质 .文章先给出其活性等价条件的简要与直观的证明 ,随后 。

基于工作流网的过程模型的合理性分析

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网(WF-net)。基于两种不破坏原工作流网络结构特性和系统行为的调整映射,将工作流网调整为完全的扩展自由选择网(EFC-net),结合秩定理,给出了验证工作流合理性的算法。