基于多级染色托肯的复杂业务流程同步控制的方法

摘要

基于多级染色托肯的复杂业务流程同步控制的方法包括同步分解和同步合并两个阶段，在利用染色Petri网做为建模语言的过程中，不需要增加业务数据的描述，仅需要对染色托肯增加两个属性的描述：托肯级别、需要同步的托肯个数，通过不同级别上的颜色和同一级别上需要同步的托肯个数，来解决电信组合业务中的多种流程同步问题。

主权项

1.一种基于多级染色托肯的复杂业务流程同步控制的方法，其特征在于该方法包括同步分解和同步合并两个阶段，具体步骤如下：1)同步分解阶段：当托肯到达同步分解变迁的输入库所，并且托肯的颜色与库所输出弧的颜色一致时，意味着同步分解变迁可以发生，该变迁发生后，输入染色托肯被同步分解变迁所消耗，同时生成多个输出染色托肯；输出染色托肯在继承被消耗的输入染色托肯的基础上，级别降低，同时保存新的颜色和被分解的托肯个数，形成新的染色托肯，即完成高级别染色托肯到低级别染色托肯的分解；2)同步分解完成后，所有新生成的低级别染色托肯根据不同的路由结构形式，执行不同类型的变迁，即不同类型的染色托肯可以并发执行相同的任务，也可以并发执行不同的任务；3)同步合并阶段：属于同一个上级托肯的所有同级别的染色托肯都同时到达同步合并变迁的输入库所时，同步合并变迁才能执行，其中，用托肯的级别信息和上级托肯的颜色来判断到达的托肯是否隶属于同一个被分解的染色托肯；用托肯个数判断需要同步的流程实例是否都已经到达；当上述条件满足时，完成低级别染色托肯到高级别染色托肯的合并。