[发明专利]一种基于Petri网的软件保护技术应用序列构建方法

权利要求书

1.一种基于Petri网的软件保护技术应用序列构建方法，其特点在于，包括：

S1：确定软件保护技术之间的N种依赖关系，并建立与所述N种依赖关系一一对应的N个的带抑止弧的Petri网模型，其中，所述带抑止弧的Petri网模型中包含与所述软件保护技术相对应的有限迁移集合，所述带抑止弧的Petri网模型中的变迁的发生规则符合对应的所述依赖关系，所述带抑止弧的Petri网模型中设置有与有限迁移集合具有双向弧连接关系的库所P1，N为正整数，若N大于1，则合并所述N个带抑止弧的Petri网模型中的所述库所P1，得到合并后的带抑止弧的Petri网模型；

S2：建立所述带抑止弧的Petri网模型对应的可达图，确定满足预设规则的目标标识，以及确定所述可达图的初始标志和所述目标标识之间的变迁发生序列。

2.根据权利要求1所述的基于Petri网的软件保护技术应用序列构建方法，其特征在于，所述步骤S1具体包括：

当确定软件保护技术之间的依赖关系中的一种为前向依赖关系时，建立包含t1变迁、t2变迁、t3变迁、t4变迁、t5变迁、P1库所、P2库所、P3库所、P4库所、P5库所的Petri网模型，所述Petri网模型为五元组Petri网模型∑＝(P，T；F，I，M)，其中库所集P＝{P₁，P₂，P₃，P₄，P₅}；变迁集T＝{t₁，t₂，t₃，t₄，t₅}；弧集F＝{<P₁，t₁>，<t₁，P₁>，<P₁，t₂>，<t₂，P₁>，<t₂，P₅>，<P₄，t₁>，<P₂，t₁>，<t₁，P₂>，<t₁，P₃>，<t₂，P₂>}；抑止弧集初始网标志M₀＝[1，0，0，n，m]，所述P₄控制第一软件保护技术最多应用n次，所述P₅控制第二软件保护技术最多应用m次；

所述Petri网模型中有限迁移集合中的t1变迁与所述第一软件保护技术相对应，所述Petri网模型中有限迁移集合中的t2变迁与所述第二软件保护技术相对应。