本发明公开了一种基于模糊逻辑Petri网的业务流程分析方法，属于模糊逻辑Petri网业务流程分析领域，包括如下步骤：首先提出模糊逻辑Petri网理论；其次对商家处理订单问题进行建模；再次根据可达图生成算法，做出基于模糊逻辑Petri网的订单处理模型的可达标识图；最后通过前向推理算法，推理得出基于模糊逻辑Petri网的订单处理模型每一步决策的可信度，得出商家为订单发货的可能性，进而得出商家处理订单的最优决策，达到过程优化的目标。本发明模糊逻辑Petri网不仅可以进行模糊推理，还具备批处理和传值不确定性特点，在建模过程中用托肯与命题相对应，使Petri网具备更强的表现力，简化了模型的复杂性。
1.一种基于模糊逻辑Petri网的业务流程分析方法，其特征在于：包括以下步骤：步骤1：提出模糊逻辑Petri网理论，给出相关形式化定义、图形化表示、动态性质；
步骤2：利用模糊逻辑Petri网理论，对商家处理订单的流程进行建模；
步骤3：根据可达图生成算法，做出基于模糊逻辑Petri网的订单处理模型的可达标识图；
步骤4：通过前向推理算法，推理得出基于模糊逻辑Petri网的订单处理模型的每一步决策的可信度，得出商家为订单发货的可能性，进而得出商家处理订单的最优决策。
2.根据权利要求1所述的基于模糊逻辑Petri网的业务流程分析方法，其特征在于：在步骤1中，模糊逻辑Petri网理论如下：定义6 模糊逻辑Petri网
一个模糊逻辑Petri网FLPN为一个十一元组∑＝(P,T；F,I,O,D,ɑ,λ,C,W,M),其中(1)P＝{P1,P2,...,Pn}是有限个库所的集合；
(2)F＝(P×T)∪(T×P)包含了输入函数和输出函数，也称流关系；
①T表示普通的变迁集合，TC＝{t1∪t2∪...∪tn}，t1,t2...tn代表普通变迁；
②TI表示T的逻辑输入变迁集，且 的所有输入库所受一个逻辑输入表达式fI的限制；
③ pi1表示模糊逻辑变迁Ti的后集库所中序号较小的库所，pi2则表示另一个库所即变迁Ti后集库所中序号较大的库所；
④TO表示T的逻辑输出变迁集，且 tOi的每个输出库所受一个逻辑输出表达式fO的限制；TI＝{tI1∪tI2∪...∪tIn}表示逻辑输入变迁；TO＝{tO1∪tO2∪...∪tOn}表示逻辑输入变迁；
(4)库所pi中包含着j个托肯，每个托肯与命题集合中的一个命题相对应；命题集合di中包含着j个命题；
(5)ɑ(pi)＝di，ɑ表示库所与命题集合之间的映射，即库所pi与命题集合di对应；
(6)C表示命题的置信度集合，C＝{c1(pi),c2(pi)...cn(pi)}，cj(pi)表示库所pi中第j个托肯所对应的命题的置信度，且cj(pi)→(0,1]；
(7)I为逻辑限制输入函数，使对 I(tIi)＝fI是一个逻辑输入表达式；
(8)O为逻辑限制输出函数，使对 O(toi)＝fO是一个逻辑输出表达式集合，fO＝{fO1∪fO2∪...∪fOn}表示n个逻辑输出表达式；对 fO1,fO2...fOn表示逻辑输出变迁集合To到库所集合P的映射；
(9)λ:TI,To→(0,1]为变迁到阈值范围的映射，λi＝{λi1,λi2,...λin}表示模糊逻辑变迁TI的阈值，λi→(0,1]；
(10)W表示库所中托肯的权值，W＝{w1(pi),w2(pi)...wn(pi)}，wj(pi)表示库所pi中第j个托肯表示的属性对变迁发生的影响程度，wj(pi)→[0,1]；
在模糊逻辑Petri网FLPN中，T＝{TC∪TI∪To}，其中，(1)TC表示普通的变迁集合，TC＝{t1∪t2∪...∪tn},t1,t2...tn代表普通变迁；
(2)TI表示T的逻辑输入变迁集，且 的所有输入库所受一个逻辑输入表达式fI的限制；
(3) pi1表示模糊逻辑变迁Ti的后集库所中序号较小的库所，pi2则表示另一个库所即变迁Ti后集库所中序号较大的库所；
(4)TO表示T的逻辑输出变迁集，且 tOi的每个输出库所受一个逻辑输出表达式fO的限制；TI＝{tI1∪tI2∪...∪tIn}表示逻辑输入变迁；TO＝{tO1∪tO2∪...∪tOn}表示逻辑输入变迁；
在模糊逻辑Petri网FLPN中，逻辑函数的定义如下：(1)I为逻辑限制输入函数，对 I(tIi)＝fI是一个逻辑输入表达式；
(2)O为逻辑限制输出函数，对 O(toi)＝fO是一个逻辑输出表达式集合，fO＝{fO1∪fO2∪...∪fOn}表示n个逻辑输出表达式；对 fO1,fO2...fOn表示逻辑输出变迁集合To到库所集合P的映射；
在模糊逻辑Petri网FLPN中，λ:TI,To→(0,1]为变迁到阈值范围的映射，λi＝{λi1,λi2,...λin}表示模糊逻辑变迁TI的阈值，λi→(0,1]；
(1)在模糊逻辑Petri网FLPN中，D表示所有命题的集合，D＝{d1∪d2∪...∪dn}表示命题集合的有限并集，d1,d2...dn表示n个命题集合；
C表示命题的置信度集合，C＝{c1(pi),c2(pi)...cn(pi)}，cj(pi)表示库所pi中第j个托肯所对应的命题的置信度，且cj(pi)→(0,1]；
在模糊逻辑Petri网FLPN中，W表示库所中托肯的权值，W＝{w1(pi),w2(pi)...wn(pi)}，wj(pi)表示库所pi中第j个托肯表示的属性对变迁发生的影响程度，wj(pi)→[0,1]；
Told表示已经发生过的变迁集合，初始状态下Told为空集；变迁TI或者To发生后，Told＝Told+{TI/To}Told集合既能够防止模糊逻辑变迁的重复发生，又能够记录由FLPN建模的系统的推理过程，变迁TI/To发生后，其前集库所中的托肯不发生变化；
(1) P∈·tIi，且pi满足tIi上的模糊逻辑变迁表达式fI；
那么变迁tIi具有发生权，变迁tIi发生后，后集库所pi1中产生新的托肯，库所pi1中每个新的托肯对应命题的置信度为前集库所pi中托肯的对应命题的可信度与其对应权值的乘积之和：ci(pi1)＝c1(pi)*w11+c2(pi)*w12+...+cn(pi)*w1n；
(2) P∈·tIi，且pj不满足tIi上的模糊逻辑变迁表达式fI，那么变迁tIi具有发生权，变迁tIi发生后，后集库所pi2中产生新的托肯，库所pi2中每个新的托肯对应命题的置信度为前集库所pj中托肯的对应命题的可信度与其对应权值的乘积之和，即cj(pi2)＝c1(pj)*w11+c2(pj)*w12+...+cn(pj)*w1n；
定义15 模糊逻辑Petri网的输入变迁引发规则在模糊逻辑Petri网FLPN中，模糊逻辑输入变迁发生规则是多对二的推理模式：(1)模糊逻辑输入变迁引发规则模式
对 TI＝{T1,T2...,Tn},I(tIi)＝fI；模糊逻辑变迁表达式fI由命题集合的可信度c(pi)、权值w(pi)和阈值λi组成；
模糊逻辑输入变迁的引发规则：在状态标识M下，对于变迁tIi∈TI且 如果则认为变迁tIi在标识M有发生权，即M[tIi>；
(2)如果M[tIi>，在标识M下， 满足模糊逻辑变迁表达式fI，变迁tIi能够发生；变迁tIi发生后，状态标识M到达一个新的状态M′，对(3)在标识M下， 且M(pj)>0,pj∈·tIi不满足模糊逻辑变迁表达式fI，变迁tIi能够发生，从状态标识M发生变迁tIi达到一个新的状态M′，对·
(4)在状态标识M下， 且M(pj)>0，pj∈ tIi不满足模糊逻辑变迁表达式fI，|PN|＝n； pk∈·tIi满足模糊逻辑变迁表达式fI，|PY|＝m，变迁tIi能够发生，那么在新的状态标识M′下，托肯的个数M′(p)的变化如下：定义16 模糊逻辑Petri网的输出变迁引发规则在模糊逻辑Petri网FLPN中，模糊逻辑变迁的输出模式是一对多的推理模式；
M(p)>0且 则逻辑输出变迁tOi能够发生；若变迁tOi使能，则它能够引发演变到新的标识M′；
(2) P＝{p1,p2...pn}，在M′满足逻辑输出变迁表达式fO1,fO2,...fOn，fO1,fO2,...fOn是由库所中的托肯以及托肯所对应命题的的置信度组成；
(3)模糊逻辑变迁tOi发生后，系统到达新的状态标识M′，在新的状态标识M′下，后集库所中托肯的个数M′(p)以及属性满足其弧上的变迁表达式fO1,fO2,...fOn，并且后集库所中托肯对应命题的置信度不发生变化。
3.根据权利要求1所述的基于模糊逻辑Petri网的业务流程分析方法，其特征在于：在步骤2中，商家处理订单的流程具体包括如下步骤：输入：∑＝(P,T；F,I,O,D,ɑ,λ,C,W,M)；
步骤1：确定系统的初始状态：客户A和客户B同时提交订单；
命题集合包含客户提交订单号、客户交易成功、客户按时归还贷款、库存量满足订单商品要求、商品是畅销款、商品生产日期符合要求、订单商品的合格率以及运输商品的费用；
步骤2：检查客户的信誉度，若客户交易成功或者客户按时归还贷款的可信度符合标准，则转到步骤3；
步骤3：检查订单，若订单商品的合格率以及生产日期达到标准，则转到步骤4；若不满足，则转到步骤7；
步骤4：验货，检查库存是否满足订单的数量，核查订单商品是否为热销款；若检查合格，则转入步骤5；
步骤5：商家进行成本核算，若满足盈利要求，则变迁发生，然后转到步骤6；若不满足，则转到步骤7；
4.根据权利要求1所述的基于模糊逻辑Petri网的业务流程分析方法，其特征在于：在步骤3中，其中，可达标识图的具体定义如下：定义17 模糊逻辑Petri网的可达标识图
设∑＝FLPN(P,T；F,I,O,D,ɑ,λ,C,W,M)为一个有界Petri网，则∑的可达标志图定义为一个三元组RG(∑)＝(R(M0),E,P)；其中：E＝{(Mi,Mj)|Mi,Mj∈R(M0)， P:E→T，P(Mi.Mj)＝ti；
当且仅当Mi[ti>Mj，R(M0)为RG(∑)的弧集；若p(Mi,Mj)＝ti，则ti为弧(Mi,Mj)的旁标；
输入：FLPN＝(P,T；F,I,O,D,ɑ,λ,C,W,M)；
Step 0：M0作为可达图RG(FLPN)的根节点，并标之以“新”；
Step 1：如果存在标注为“新”的节点，则任选一个标注为“新”节点，并标记为M，令集合Told＝φ；
Step 2：如果从Mo到M的有向路上有一个节点的标识等于M，则将M的标注改为“旧”，返回Step 1；
Step 3：如果 则将M的标注改为“端点”，返回Step 1；
Step 4：对 并且M[tIi>，M[tOi>对每个tIi/tOi，根据变迁引发规则，得到M'，令Told＝Told+{tIi/tOi}，并在RG(FLPN)中将其标注为“新”，从M到M'画一条有向弧，并将此弧旁标以t，并标注出新状态标识M'下各个库所的托肯的个数，然后删除节点M的“新”标注，返回Step 1。
5.根据权利要求1所述的基于模糊逻辑Petri网的业务流程分析方法，其特征在于：在步骤4中，具体包括如下步骤：步骤4.1：根据前向推理算法和初始条件，检查客户的信誉度，得出客户信誉的达标的可信度；
步骤4.2：检查订单，若订单商品的合格率以及生产日期达到标准、库存是否重组、订单商品是否为热销款，由前向推理算法得出订单满足要求的概率；
步骤4.3：商家进行成本核算，最后推理得出商家为订单发货的可信度。
一种基于模糊逻辑Petri网的业务流程分析方法
技术领域
[0001] 本发明属于模糊逻辑Petri网的业务流程分析领域，具体涉及一种基于模糊逻辑Petri网的业务流程分析方法。
背景技术
[0002] Petri网是对离散并行系统的数学表示。Petri网是20世纪60年代由卡尔·A·佩特里发明的，适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。同其他的网系统模型相比较，Petri网的突出优点之一是更便于描述并发和冲突。
[0003] 简单Petri网是描述过程的模型，由库所，变迁，流关系，以及托肯等元素组成的。随着Petri网在各种系统和流程的建模和分析的过程中日益广泛的应用，各种具备不同特点的Petri网的扩展网应运而生，目前比较成熟的几种高级Petri网有颜色Petri网、时间Petri网、逻辑Petri网、随机Petri网、层次Petri网等。
[0004] 自从Petri网的概念被提出以来，它已广泛应用于离散事件动态系统以及任务规划和业务流程管理等领域。Petri网适于对离散事件动态系统建模，它可以描述制造系统框架，系统的随机过程,也可以描述一些非系统特定的形式特征。在故障检测和诊断领域，Petri网可用于表达系统逻辑关系，完成知识表示和诊断推理；也可对被诊断对象建立行为模型，利用Petri网属性进行基于模型的诊断推理。模糊Petri网是Petri网与知识表达的结合，它在开始的时候最容易用来描述不清晰的生成规则。逻辑Petri网是抑制弧Petri网的一个高级抽象，在逻辑Petri网中，逻辑变迁的输入/输出受逻辑输入/输出表达式fO/fI的限制，将这种受限制的变迁称为逻辑变迁。
[0005] 模糊Petri网是在普通Petri网的基础上扩充模糊处理能力而得到的。它与普通Petri网相比较主要有以下几个方面的不同：变迁节点具有启动阈限，FPN中的有向边分为输入弧和输出弧。模糊Petri网由于更符合人类的思维和认知方式，在描述和分析系统的并行和并发行为时有广泛的意义。FPN不仅使基于规则的知识库结构直观、清晰，还可以以数学分析的方法动态描述基于规则的系统。
[0006] 一个逻辑Petri网(Logical Petri Net)是抑制弧PN的一个高级抽象，LPN中变迁的输入和输出分别受逻辑输入表达式fI和逻辑输出表达式fO的限制。具备批处理和传值不确定性的特点。
[0007] 逻辑Petri网，体现了批处理和传值的不确定性的特点。模糊Petri网的概念，体现了其模糊推理和处理不确定过程的优点。但是逻辑Petri网缺乏模糊推理的能力，模糊Petri网用产生式规则进行推理，但其只用来处理一件不确定的事情或者一个完整得流程。为了克服这些问题，合理而且高效地同时分析多个含有不确定因素的业务流程。
发明内容
[0008] 针对现有技术中存在的上述技术问题，本发明提出了一种基于模糊逻辑Petri网的业务流程分析方法，设计合理，克服了现有技术的不足，具有良好的效果。
[0009] 为了实现上述目的，本发明采用如下技术方案：
[0010] 一种基于模糊逻辑Petri网的业务流程分析方法，包括以下步骤：
[0011] 步骤1：提出模糊逻辑Petri网理论，给出相关形式化定义、图形化表示、动态性质；
[0012] 步骤2：利用模糊逻辑Petri网理论，对商家处理订单的流程进行建模；
[0013] 步骤3：根据可达图生成算法，做出基于模糊逻辑Petri网的订单处理模型的可达标识图；
[0014] 步骤4：通过前向推理算法，推理得出基于模糊逻辑Petri网的订单处理模型的每一步决策的可信度，得出商家为订单发货的可能性，进而得出商家处理订单的最优决策。
[0015] 优选地，在步骤1中，模糊逻辑Petri网理论如下：
[0016] 定义6模糊逻辑Petri网
[0017] 一个模糊逻辑Petri网FLPN为一个十一元组∑＝(P,T；F,I,O,D,ɑ,λ,C,W,M),其中[0018] (1)P＝{P1,P2,...,Pn}是有限个库所的集合；
[0019] (2)F＝(P×T)∪(T×P)包含了输入函数和输出函数，也称流关系；
[0020] (3)T＝{TC∪TI∪To}， 其中：
[0021] ①T表示普通的变迁集合，TC＝{t1∪t2∪...∪tn}，t1,t2...tn代表普通变迁；
[0022] ②TI表示T的逻辑输入变迁集，且 Ti的所有输入库所受一个逻辑输入表达式fI的限制；
[0023] ③ pi1表示模糊逻辑变迁Ti的后集库所中序号较小的库所，pi2则表示另一个库所即变迁Ti后集库所中序号较大的库所；
[0024] ④TO表示T的逻辑输出变迁集，且 tOi的每个输出库所受一个逻辑输出表达式fO的限制；TI＝{tI1∪tI2∪...∪tIn}表示逻辑输入变迁；TO＝{tO1∪tO2∪...∪tOn}表示逻辑输入变迁；
[0025] (4)库所pi中包含着j个托肯，每个托肯与命题集合中的一个命题相对应；命题集合di中包含着j个命题；
[0026] (5)ɑ(pi)＝di，ɑ表示库所与命题集合之间的映射，即库所pi与命题集合di对应；
[0027] (6)C表示命题的置信度集合，C＝{c1(pi),c2(pi)...cn(pi)}，cj(pi)表示库所pi中第j个托肯所对应的命题的置信度，且cj(pi)→(0,1]；
[0028] (7)I为逻辑限制输入函数，使对 I(tIi)＝fI是一个逻辑输入表达式；
[0029] (8)O为逻辑限制输出函数，使对 O(toi)＝fO是一个逻辑输出表达式集合，fO＝{fO1∪fO2∪...∪fOn}表示n个逻辑输出表达式；对 fO1,fO2...fOn表示逻辑输出变迁集合To到库所集合P的映射；
[0030] (9)λ:TI,To→(0,1]为变迁到阈值范围的映射，λi＝{λi1,λi2,...λin}表示模糊逻辑变迁TI的阈值，λi→(0,1]；
[0031] (10)W表示库所中托肯的权值，W＝{w1(pi),w2(pi)...wn(pi)}，wj(pi)表示库所pi中第j个托肯表示的属性对变迁发生的影响程度，wj(pi)→[0,1]；
[0032] 定义7模糊逻辑变迁集T
[0033] 在模糊逻辑Petri网FLPN中，T＝{TC∪TI∪To}，其中，
[0034] (1)TC表示普通的变迁集合，TC＝{t1∪t2∪...∪tn},t1,t2...tn代表普通变迁；
[0035] (2)TI表示T的逻辑输入变迁集，且 Ti的所有输入库所受一个逻辑输入表达式fI的限制；
[0036] (3) P＝{pi1∪pi2}；pi1表示模糊逻辑变迁Ti的后集库所中序号较小的库所，pi2则表示另一个库所即变迁Ti后集库所中序号较大的库所；
[0037] (4)TO表示T的逻辑输出变迁集，且 tOi的每个输出库所受一个逻辑输出表达式fO的限制；TI＝{tI1∪tI2∪...∪tIn}表示逻辑输入变迁；TO＝{tO1∪tO2∪...∪tOn}表示逻辑输入变迁；
[0038] 定义8逻辑函数I和O
[0039] 在模糊逻辑Petri网FLPN中，逻辑函数的定义如下：
[0040] (1)I为逻辑限制输入函数，对 I(tIi)＝fI是一个逻辑输入表达式；
[0041] (2)O为逻辑限制输出函数，对 O(toi)＝fO是一个逻辑输出表达式集合，fO＝{fO1∪fO2∪...∪fOn}表示n个逻辑输出表达式；对 fO1,fO2...fOn表示逻辑输出变迁集合To到库所集合P的映射；
[0042] 定义9阈值函数λ
[0043] 在模糊逻辑Petri网FLPN中，λ:TI,To→(0,1]为变迁到阈值范围的映射，λi＝{λi1,λi2,...λin}表示模糊逻辑变迁TI的阈值，λi→(0,1]；
[0044] 定义10命题集合D
[0045] (1)在模糊逻辑Petri网FLPN中，D表示所有命题的集合，D＝{d1∪d2∪...∪dn}表示命题集合的有限并集，d1,d2...dn表示n个命题集合；
[0046] 定义11命题的置信度集合C
[0047] C表示命题的置信度集合，C＝{c1(pi),c2(pi)...cn(pi)}，cj(pi)表示库所pi中第j个托肯所对应的命题的置信度，且cj(pi)→(0,1]；
[0048] 定义12FLPN中的权值集合W
[0049] 在模糊逻辑Petri网FLPN中，W表示库所中托肯的权值，W＝{w1(pi),w2(pi)...wn(pi)}，wj(pi)表示库所pi中第j个托肯表示的属性对变迁发生的影响程度，wj(pi)→[0,1]；
[0050] 定义13记录变迁集合Told
[0051] Told表示已经发生过的变迁集合，初始状态下Told为空集；变迁TI或者To发生后，[0052] Told＝Told+{TI/To}
[0053] Told集合既能够防止模糊逻辑变迁的重复发生，又能够记录由FLPN建模的系统的推理过程，变迁TI/To发生后，其前集库所中的托肯不发生变化；
[0054] 定义14置信度计算规则
[0055] (1) P∈·tIi，且pi满足tIi上的模糊逻辑变迁表达式fI；
[0056] 那么变迁tIi具有发生权，变迁tIi发生后，后集库所pi1中产生新的托肯，库所pi1中每个新的托肯对应命题的置信度为前集库所pi中托肯的对应命题的可信度与其对应权值的乘积之和：ci(pi1)＝c1(pi)*w11+c2(pi)*w12+...+cn(pi)*w1n；
[0057] (2) P∈·tIi，且pj不满足tIi上的模糊逻辑变迁表达式fI，那么变迁tIi具有发生权，变迁tIi发生后，后集库所pi2中产生新的托肯，库所pi2中每个新的托肯对应命题的置信度为前集库所pj中托肯的对应命题的可信度与其对应权值的乘积之和，即cj(pi2)＝c1(pj)*w11+c2(pj)*w12+...+cn(pj)*w1n；
[0058] 定义15模糊逻辑Petri网的输入变迁引发规则
[0059] 在模糊逻辑Petri网FLPN中，模糊逻辑输入变迁发生规则是多对二的推理模式：
[0060] (1)模糊逻辑输入变迁引发规则模式
[0061] 对 TI＝{T1,T2...,Tn},I(tIi)＝fI；模糊逻辑变迁表达式fI由命题集合的可信度c(pi)、权值w(pi)和阈值λi组成；
[0062] 模糊逻辑输入变迁的引发规则：在状态标识M下，对于变迁tIi∈TI且 如果[0063]
[0064] 则认为变迁tIi在标识M有发生权，即M[tIi>；
[0065] (2)如果M[tIi>，在标识M下， 满足模糊逻辑变迁表达式fI，变迁tIi能够发生；变迁tIi发生后，状态标识M到达一个新的状态M′，对
[0066]
[0067] (3)在标识M下， 且M(pj)>0,pj∈·tIi不满足模糊逻辑变迁表达式fI，变迁tIi能够发生，从状态标识M发生变迁tIi达到一个新的状态M′，对
[0068]
[0069] (4)在状态标识M下， 且M(pj)>0，pj∈·tIi不满足模糊逻辑变迁表达式fI，|PN|＝n； pk∈·tIi满足模糊逻辑变迁表达式fI，|PY|＝m，变迁tIi能够发生，那么在新的状态标识M′下，托肯的个数M′(p)的变化如下：
[0070]
[0071] 定义16模糊逻辑Petri网的输出变迁引发规则
[0072] 在模糊逻辑Petri网FLPN中，模糊逻辑变迁的输出模式是一对多的推理模式；
[0073]
[0074] M(p)>0且 则逻辑输出变迁tOi能够发生；若变迁tOi使能，则它能够引发演变到新的标识M′；
[0075] (1)标识M′下标识个数的变化：
[0076] (2) P＝{p1,p2...pn}，在M′满足逻辑输出变迁表达式fO1,fO2,...fOn，fO1,fO2,...fOn是由库所中的托肯以及托肯所对应命题的的置信度组成；
[0077] (3)模糊逻辑变迁tOi发生后，系统到达新的状态标识M′，在新的状态标识M′下，后集库所中托肯的个数M′(p)以及属性满足其弧上的变迁表达式fO1,fO2,...fOn，并且后集库所中托肯对应命题的置信度不发生变化。
[0078] 优选地，在步骤2中，商家处理订单的流程具体包括如下步骤：
[0079] 输入：∑＝(P,T；F,I,O,D,ɑ,λ,C,W,M)；
[0080] 步骤1：确定系统的初始状态：客户A和客户B同时提交订单；
[0081] 命题集合包含客户提交订单号、客户交易成功、客户按时归还贷款、库存量满足订单商品要求、商品是畅销款、商品生产日期符合要求、订单商品的合格率以及运输商品的费用；
[0082] 步骤2：检查客户的信誉度，若客户交易成功或者客户按时归还贷款的可信度符合标准，则转到步骤3；
[0083] 步骤3：检查订单，若订单商品的合格率以及生产日期达到标准，则转到步骤4；若不满足，则转到步骤7；
[0084] 步骤4：验货，检查库存是否满足订单的数量，核查订单商品是否为热销款；若检查合格，则转入步骤5；
[0085] 步骤5：商家进行成本核算，若满足盈利要求，则变迁发生，然后转到步骤6；若不满足，则转到步骤7；
[0086] 步骤6：得出商家为订单发货的概率，准备发货；
[0087] 步骤7：得出商家为订单发货的概率，取消订单；
[0088] 输出：商家对订单的处理结果。
[0089] 优选地，在步骤3中，其中，可达标识图的具体定义如下：
[0090] 定义17模糊逻辑Petri网的可达标识图
[0091] 设∑＝FLPN(P,T；F,I,O,D,ɑ,λ,C,W,M)为一个有界Petri网，则∑的可达标志图定义为一个三元组RG(∑)＝(R(M0),E,P)；其中：
[0092] E＝{(Mi,Mj)|Mi,Mj∈R(M0)， P:E→T，P(Mi.Mj)＝ti
[0093] 当且仅当Mi[ti>Mj，R(M0)为RG(∑)的弧集；若p(Mi,Mj)＝ti，则ti为弧(Mi,Mj)的旁标；
[0094] 定义18可达图生成算法
[0095] 输入：FLPN＝(P,T；F,I,O,D,ɑ,λ,C,W,M)；
[0096] 输出：FLPN的可达图RG(FLPN)；
[0097] Step 0：M0作为可达图RG(FLPN)的根节点，并标之以“新”；
[0098] Step 1：如果存在标注为“新”的节点，则任选一个标注为“新”节点，并标记为M，令集合Told＝φ；
[0099] Step 2：如果从Mo到M的有向路上有一个节点的标识等于M，则将M的标注改为“旧”，返回Step 1；
[0100] Step 3：如果 则将M的标注改为“端点”，返回Step 1；
[0101] Step 4：对 并且M[tIi>，M[tOi>对每个tIi/tOi，根据变迁引发规则，得到M'，令Told＝Told+{tIi/tOi}，并在RG(FLPN)中将其标注为“新”，从M到M'画一条有向弧，并将此弧旁标以t，并标注出新状态标识M'下各个库所的托肯的个数，然后删除节点M的“新”标注，返回Step 1。
[0102] 优选地，在步骤4中，具体包括如下步骤：
[0103] 步骤4.1：根据前向推理算法和初始条件，检查客户的信誉度，得出客户信誉的达标的可信度；
[0104] 步骤4.2：检查订单，若订单商品的合格率以及生产日期达到标准、库存是否重组、订单商品是否为热销款，由前向推理算法得出订单满足要求的概率；
[0105] 步骤4.3：商家进行成本核算，最后推理得出商家为订单发货的可信度。
[0106] 本发明所带来的有益技术效果：
[0107] 模糊Petri网具备一定的知识表示和推理能力，可以对系统进行建模并推测事件发生的概率；逻辑Petri网可以对同时处理多个不确定条件的系统进行建模，能体现其批处理和传值的不确定性的特征，为了增加模糊Petri网的知识表示和推理能力，使其可以描述同时处理多个事件的系统，本发明将逻辑Petri网和模糊Petri网进行结合，将模糊Petri网库所中的托肯与命题及命题的可信度相对应，一个托肯对应一个命题及其置信度，一个库所可以对应多个命题，并将托肯对应命题的置信度与逻辑输入/输出变迁相结合，形成模糊逻辑变迁，将模糊元素加入到逻辑变迁表达式中，定义新的命题置信度的计算规则，提出了模糊逻辑Petri网；并且FLPN模型，既能够体现出逻辑Petri网的传值的不确定性及并行处理的特点，又能在逻辑变迁表达式中体现模糊推理的原则，旨在为企业得出相应的处理决策，使商家更好的管理商品发货；使用模糊逻辑Petri网的业务流程分析方法，简化系统设计的复杂性，提高了决策的精准性，加快了决策速度，并且提高了决策的稳定性。使用模糊逻辑Petri网分析业务流程，既能够准确描述业务流程，又能够进行模糊推理，精确得出决策。
附图说明
[0108] 图1为本发明一种基于模糊逻辑Petri网的过程分析方法的流程图。
具体实施方式
[0109] 下面结合附图以及具体实施方式对本发明作进一步详细说明：
[0110] 1、Petri网是对离散并行系统的数学表示。Petri网是20世纪60年代由卡尔·A·佩特里发明的，适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供了坚实的概念基础。Petri网模型自然、直观、简单易懂的描述了在分析并行系统的状态行为技术，主要用于计算机协议模型、柔性系统模型、计算机集成制造、人工智能、系统分析等领域。
[0111] 本发明提出一种基于模糊逻辑Petri网的业务流程分析方法，其流程如图1所示，包括以下步骤：
[0112] 步骤1：提出模糊逻辑Petri网理论，给出相关形式化定义、图形化表示、动态性质；
[0113] 步骤2：利用模糊逻辑Petri网理论，对商家处理订单的流程进行建模；
[0114] 步骤3：根据可达图生成算法，做出基于模糊逻辑Petri网的订单处理模型的可达标识图；
[0115] 步骤4：通过前向推理算法，推理得出基于模糊逻辑Petri网的订单处理模型的每一步决策的可信度，得出商家为订单发货的可能性，进而得出商家处理订单的最优决策。
[0116] 定义1满足下列条件的三元组N＝(P,T；F)称作一个网；
[0117] (1)
[0118] (2)
[0119]
[0120] 定义2N＝(P,T；F)为一个网，对于x∈P∪T，记
[0121] ·x＝{y|y∈P∪T∧(y,x)∈F}；
[0122] x·＝{y|y∈P∪T∧(y,x)∈F}；
[0123] 称·x为x前集或输入集，x·为x后集和输出集；
[0124] 定义3设N＝(P,T；F)为一个网。映射M:S→{0,1,2…}成为网的一个标识(marking)。二元组(N,M)(也即四元组(P,T；F,M))称为一个标识网(marked net)。
[0125] 定义4一个网系统(net system)是一个标识网∑＝(P,T；F,M)，并具有下面的变迁发生规则(transition firing fule)：
[0126] (1)对于变迁t∈T，如果
[0127]
[0128] 则说明变迁t在标识M有发生权(enabled)，记为M[t＞。
[0129] (2)若M[t＞，则在标识M下，变迁t可以发生(fire),从标识M发生变迁t得到一个新的标识M’(记为M[t＞M’)，对
[0130]
[0131] 定义5模糊Petri网
[0132] 模糊Petri网是一个六元组N＝(S,T；F,W,D,M0)
[0133] (1)(S,T；F)是一个网，满足条件
[0134] (a) (x,y)∈F+→(y,x)F+
[0135] (b) |·t|≧1∧|t·|≧1
[0136] (c)s∈S：·s＝∧s∈S：s·＝
[0137] (2)W：f→(0,1]
[0138] (3)D：T→(0,1]
[0139] (4)M0：S→(0,1]，满足条件
[0140] (5)模糊Petri网的变迁发生规则：对 T＝{t1,t2,…tn},Min{s1*w1,s2*w2,...,sn*wn}>λi,则变迁ti可以使能；变迁使能后：s0(pi+1)＝Min{s1*w1,s2*w2,...sn*wn}*w(ti,si+1).
[0141] 随着Petri网在各种系统和流程中日益广泛的应用，对Petri网进行扩展，目前比较成熟的几种高级Petri网有模糊Petri网、随机Petri网、逻辑Petri网、颜色Petri网等。
[0142] 逻辑Petri网具备批处理和传值不确定性的特点，通过变迁上的逻辑表达式控制输入和输出。模糊Petri网是普通Petri网的模糊化，结合了Petri网的图形描述能力，是基于模糊产生式规则的知识库系统有力的建模工具，具有强大的可视化知识建模、并行计算、模糊推理等能力，可以对系统进行建模并推测事件发生的概率。将模糊Petri网和模糊Petri网结合，构建模糊逻辑Petri网的形式化模型。既能够发挥逻辑Petri网对批处理和传值不确定性的优势，又发挥了模糊Petri网的知识表示和推理能力，更好的对业务流程进行处理。
[0143] 2、模糊逻辑Petri网
[0144] 提出模糊逻辑Petri网，给出相关形式化定义、图形化表示及分析方法。
[0145] 2.1、形式化定义
[0146] 对模糊逻辑Petri网进行形式化定义。
[0147] 定义6模糊逻辑Petri网
[0148] 一个模糊逻辑Petri网FLPN为一个十一元组∑＝(P,T；F,I,O,D,ɑ,λ,C,W,M)，其中[0149] (1)P＝{P1,P2,...,Pn}是有限个库所的集合；
[0150] (2)F＝(P×T)∪(T×P)包含了输入函数和输出函数，也称流关系；
[0151] (3)T＝{TC∪TI∪To}， 其中：
[0152] ①T表示普通的变迁集合，TC＝{t1∪t2∪...∪tn},t1,t2...tn代表普通变迁；
[0153] ②TI表示T的逻辑输入变迁集，且 Ti的所有输入库所受一个逻辑输入表达式fI的限制；
[0154] ③ pi1表示模糊逻辑变迁Ti的后集库所中序号较小的库所，pi2则表示另一个库所(即变迁Ti后集库所中序号较大的库所)；
[0155] ④TO表示T的逻辑输出变迁集，且 tOi的每个输出库所受一个逻辑输出表达式fO的限制。TI＝{tI1∪tI2∪...∪tIn}表示逻辑输入变迁；TO＝{tO1∪tO2∪...∪tOn}表示逻辑输入变迁；
[0156] (4)库所pi中包含着j个托肯，每个托肯与命题集合中的一个命题相对应。命题集合di中包含着j个命题。
[0157] (5)ɑ(pi)＝di，ɑ表示库所与命题集合之间的映射，即库所pi与命题集合di对应；
[0158] (6)C表示命题的置信度集合，C＝{c1(pi),c2(pi)...cn(pi)}，cj(pi)表示库所pi中第j个托肯所对应的命题的置信度，且cj(pi)→(0,1]；
[0159] (7)I为逻辑限制输入函数，使对 是一个逻辑输入表达式；
[0160] (8)O为逻辑限制输出函数，使对 是一个逻辑输出表达式集合，fO＝{f O1∪fO2∪...∪fOn}表示n个逻辑输出表达式。对 fO1,fO2...fOn表示逻辑输出变迁集合To到库所集合P的映射；
[0161] (9)λ:TI,To→(0,1]为变迁到阈值范围的映射，λi＝{λi1,λi2,...λin}表示模糊逻辑变迁TI的阈值，λi→(0,1]；
[0162] (10)W表示库所中托肯的权值,W＝{w1(pi),w2(pi)...wn(pi)}。wj(pi)表示库所pi中第j个托肯表示的属性对变迁发生的影响程度。wj(pi)→[0,1]；
[0163] 定义7模糊逻辑变迁集T
[0164] 在模糊逻辑Petri网FLPN中，T＝{TC∪TI∪To}，其中，
[0165] (1)TC表示普通的变迁集合，TC＝{t1∪t2∪...∪tn},t1,t2...tn代表普通变迁；
[0166] (2)TI表示T的逻辑输入变迁集，且 的所有输入库所受一个逻辑输入表达式fI的限制；
[0167] (3) pi1表示模糊逻辑变迁Ti的后集库所中序号较小的库所，pi2则表示另一个库所(即变迁Ti后集库所中序号较大的库所)；
[0168] (4)TO表示T的逻辑输出变迁集，且 tOi的每个输出库所受一个逻辑输出表达式fO的限制。TI＝{tI1∪tI2∪...∪tIn}表示逻辑输入变迁；TO＝{tO1∪tO2∪...∪tOn}表示逻辑输入变迁；
[0169] 定义8逻辑函数I和O
[0170] 在模糊逻辑Petri网FLPN中，逻辑函数的定义如下：
[0171] (1)I为逻辑限制输入函数，使对 是一个逻辑输入表达式；
[0172] (2)O为逻辑限制输出函数，使对 是一个逻辑输出表达式集合，fO＝{fO1∪fO2∪...∪fOn}表示n个逻辑输出表达式。对 fO1,fO2...fOn表示逻辑输出变迁集合To到库所集合P的映射；
[0173] 定义9阈值函数λ
[0174] 在模糊逻辑Petri网FLPN中，λ:TI,To→(0,1]为变迁到阈值范围的映射，λi＝{λi1,λi2,...λin}表示模糊逻辑变迁TI的阈值，λi→(0,1]；
[0175] 定义10命题集合D
[0176] (1)在模糊逻辑Petri网FLPN中，D表示所有命题的集合，D＝{d1∪d2∪...∪dn}表示命题集合的有限并集，d1,d2...dn表示n个命题集合；
[0177] 定义11命题的置信度集合C
[0178] C表示命题的置信度集合，C＝{c1(pi),c2(pi)...cn(pi)}，cj(pi)表示库所pi中第j个托肯所对应的命题的置信度，且cj(pi)→(0,1]；
[0179] 定义12FLPN中的权值集合W
[0180] 在模糊逻辑Petri网FLPN中，W表示库所中托肯的权值,W＝{w1(pi),w2(pi)...wn(pi)}。wj(pi)表示库所pi中第j个托肯表示的属性对变迁发生的影响程度。wj(pi)→[0,1]；
[0181] 定义13记录变迁集合Told
[0182] Told表示已经发生过的变迁集合，初始状态下Told为空集。变迁TI或者To发生后，[0183] Told＝Told+{TI/To}
[0184] Told集合既可以防止模糊逻辑变迁的重复发生，又可以记录由FLPN建模的系统的推理过程。变迁TI/To发生后，其前集库所中的托肯不发生变化。
[0185] 定义14置信度计算规则
[0186] (1) P∈·tIi且pi满足tIi上的模糊逻辑变迁表达式fI；
[0187] 那么变迁tIi具有发生权，变迁tIi发生后，后集库所pi1中产生新的托肯，库所pi1中每个新的托肯对应命题的置信度为前集库所pi中托肯的对应命题的可信度与其对应权值的乘积之和：ci(pi1)＝c1(pi)*w11+c2(pi)*w12+...+cn(pi)*w1n。
[0188] (2) P∈·tIi且pj不满足tIi上的模糊逻辑变迁表达式fI，那么变迁tIi具有发生权，变迁tIi发生后，后集库所pi2中产生新的托肯，库所pi2中每个新的托肯对应命题的置信度为前集库所pj中托肯的对应命题的可信度与其对应权值的乘积之和，即cj(pi2)＝c1(pj)*w11+c2(pj)*w12+...+cn(pj)*w1n。
[0189] 定义15模糊逻辑Petri网的输入变迁引发规则
[0190] 在模糊逻辑Petri网FLPN中，模糊逻辑输入变迁发生规则是“多对二”的推理模式：
[0191] (1)模糊逻辑输入变迁引发(规则)模式
[0192] 对 TI＝{T1,T2...,Tn},I(tIi)＝fI；模糊逻辑变迁表达式fI由命题集合的可信度c(pi)，权值w(pi)，阈值λi组成。
[0193] 模糊逻辑输入变迁的引发规则：在状态标识M下，对于变迁tIi∈TI且 如果[0194]
[0195] 则认为变迁tIi在标识M有发生权，即M[tIi>。
[0196] (2)如果M[tIi>，在标识M下， |PY|＝m,pj∈·tIi满足模糊逻辑变迁表达式fI，变迁tIi可以发生。变迁tIi发生后，状态标识M到达一个新的状态M′，对[0197]
[0198] (3)在标识M下， 且M(pj)>0，pj∈·tIi不满足模糊逻辑变迁表达式fI，变迁tIi可以发生，从状态标识M发生变迁tIi达到一个新的状态M′，对
[0199]
[0200] (4)在状态标识M下， 且M(pj)>0，pj∈·tIi不满足模糊逻辑变迁表达式fI，|PN|＝n。 pk∈·tIi满足模糊逻辑变迁表达式fI，|PY|＝m,变迁tIi可以发生，那么在新的状态标识M′下托肯的个数M′(p)的变化如下：
[0201]
[0202] 定义16模糊逻辑Petri网的输出变迁引发规则
[0203] 在模糊逻辑Petri网FLPN中，模糊逻辑变迁的输出模式是“一对多”的推理模式，[0204]
[0205] 且 则逻辑输出变迁tOi可以发生。若变迁tOi使能，则它可以引发演变到新的标识M′。
[0206] (1)标识M′下标识个数的变化：
[0207] (2) P＝{p1,p2...pn}，在M′应该满足逻辑输出变迁表达式fO1,fO2,...fOn，fO1,fO2,...fOn是由库所中的托肯以及托肯所对应命题的的置信度组成。
[0208] (3)模糊逻辑变迁tOi发生后，系统到达新的状态标识M′，在新的状态标识M′下，后集库所中托肯的个数M′(p)以及属性应当满足其弧上的变迁表达式fO1,fO2,...fOn，并且后集库所中托肯对应命题的置信度不发生变化。
[0209] 2.2图形化表示
[0210] 在模糊逻辑Petri网FLPN中，椭圆形表示库所，矩形表示变迁，商品发货流程中的命题用表示token，带箭头的线段表示有向弧，模糊逻辑Petri网理论的具体图形化表示如表1所示。
[0211] 表1模糊逻辑Petri网元素图形化表示
[0212]
[0213] 2.3分析方法
[0214] 模糊逻辑Petri网的相关分析方法，包括可达标识图，前向推理算法。
[0215] 2.3.1可达标识图
[0216] 可达标识图的具体定义如下所示。
[0217] 定义17模糊逻辑Petri网的可达标识图
[0218] 设∑＝FLPN(P,T；F,I,O,D,ɑ,λ,C,W,M)为一个有界Petri网。则∑的可达标志图定义为一个三元组RG(∑)＝(R(M0),E,P)，其中：
[0219]
[0220] P:E→T,P(Mi.Mj)＝ti当且仅当Mi[ti>Mj
[0221] 称R(M0)为RG(∑)的弧集；若p(Mi,Mj)＝ti则称ti为弧(Mi,Mj)的旁标。
[0222] 定义18可达图生成算法
[0223] 输入：FLPN＝(P,T；F,I,O,D,ɑ,λ,C,W,M)；
[0224] 输出：FLPN的可达图RG(FLPN)
[0225] Step 0：M0作为可达图RG(FLPN)的根节点，并标之以”新”：
[0226] Step 1：while存在标注为“新”的节点，Do
[0227] 任选一个标注为“新”节点，并标记为M，令集合Told＝φ；
[0228] Step 2：If从Mo到M的有向路上有一个节点的标识等于M，Then把M的标注改为“旧”，返回Step 1
[0229] Step 3：
[0230] 把M的标注改为“端点”，返回Step 1；
[0231] Step 4：对 并且M[tIi>,M[tOi>对每个tIi/tOi，Do
[0232] 根据变迁引发规则，得到M'，令Told＝Told+{tIi/tOi}，并在RG(FLPN)中将其标注为“新”，从M到M'画一条有向弧，并把此弧旁标以t，并标注出新状态标识M'下各个库所的托肯的个数，然后删除节点M的“新”标注，返回Step 1。
[0233] 2.3.2前向推理算法
[0234] Step 1：给出流程的初始条件、目标状态(即所能达到的所有状态)和命题集合；
[0235] Step 2：确定FLPN的初始标识M0，即初始库所及初始库所中的托肯，以及托肯所对应的命题的可信度和初始已发生变迁集合Told；
[0236] Step3：在状态标识M下，由变迁发生规则得出具有发生权的变迁的发生结果，并计算新状态M'下托肯及其所对应命题的置信度的变化和更新集合Told；
[0237] Step 4：重复Step 3，直到没有变迁可以发生为止，则此状态为终态；根据目标库所中托肯所对应的命题的可信度来表示系统推理的结果，即为FLPN对此流程建模推理的最终结果，由Told集合中的变迁可以得出推理的过程。
[0238] 当然，上述说明并非是对本发明的限制，本发明也并不仅限于上述举例，本技术领域的技术人员在本发明的实质范围内所做出的变化、改型、添加或替换，也应属于本发明的保护范围。
