[发明专利]基于随机着色Petri网的虚拟企业BPM建模方法

权利要求书

1.基于随机着色Petri网的虚拟企业BPM建模方法，其特征在于，包括以下步骤：

步骤1：对普通Petri网进行扩展，定义随机着色Petri网为八元组SCPN＝{P，DT，ST，MT，A，C，E，M₀}，其中：P为库所有限集合；DT为确定时间变迁集合；ST为赋时变迁集合；MT为瞬时变迁集合；A为弧集合；C为颜色集合；E为弧表达式；M₀为初始标识；

步骤2：SCPN的变迁触发规则，变迁输入位置内的标记数必须大于或等于输入弧上的弧表达式，且符合颜色要求，SCPN由于变迁触发而改变其标识；

步骤3：根据用户需求，利用随机着色Petri网，建立以BPM系统为基础的虚拟企业过程模型。

2.如权利要求1所述的基于随机着色Petri网的虚拟企业BPM建模方法，其特征在于，所述步骤1中其标识中各个库所里的托肯都带有颜色。

3.如权利要求1所述的基于随机着色Petri网的虚拟企业BPM建模方法，其特征在于，所述步骤1中具体包括对普通Petri网进行扩展，构造随机着色Petri网模型。

4.如权利要求1所述的基于随机着色Petri网的虚拟企业BPM建模方法，其特征在于，所述步骤3中具体包括：

步骤3.1，构建虚拟企业的组建过程SCPN模型如下：

SCPN1＝{P，ST，A，C，E，M₀)，

其中，P＝{P₀，P₁，P₂，P₃，P₄，P₅)，T＝{T₀，T₁，T₂，T₃，T₄)，P₀：抓住市场机遇，P₁：等待签订合作协议，P₂：准备选取合作企业，P₃：可选取的合作企业信息库，P₄：对待选合作企业进行评估，P₅：虚拟企业建立完成，T₀：进行需求分析，T₁：选取合作企业，T₂：评估不通过，重新选取，T₃：评估通过，订立合作协定，T₄：重新等待下一个市场机遇，C＝{PH，CS)，PH，CS分别为消息颜色集和可选取的合作企业信息颜色集，所有变迁都为赋时变迁，其时延系数设为(2，5，7，3，10)；

步骤3.2，构建虚拟企业的流程运作SCPN模型如下：

SCPN2＝{P，ST，A，C，E，M₀}，

其中，P＝{P₀，P₁，P₂，P₃，P₄，P₅，P₆，P₇，P₈，P₉，P₁₀，P₁₁}，T＝{T₀，T₁，T₂，T₃，T₄，T₅，T₆，T₇}，P₀：盟主企业流程信息，P₁：成员企业流程信息，P₂：流程设计完成，P₃：盟主企业流程资源库，P₄：盟主企业流程实例化，P₅：成员企业流程实例化，P₆：成员企业流程资源库，P₇：盟主企业流程执行完成，P₈：成员企业流程执行完成，P₉：流程汇总完成，P₁₀：盟主企业流程优化，P₁₁：成员企业流程优化，T₀：进行流程设计，T₁：流程执行准备，通知成员企业开始执行流程，T₂：盟主企业流程执行，T₃：成员企业流程执行，T₄：流程汇总，T₅：盟主企业流程更新，T₆：成员企业流程更新，T₇：流程执行数据分析，C＝{PH，CS}，PH，CS分别为盟主企业信息资源颜色集和成员企业信息资源颜色集，所有变迁都为赋时变迁，其时延系数设为(3，6，1，1，2，7，7，4)。