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

摘要

本发明公开了一种基于Petri网的软件保护技术应用序列构建方法，解决了现有技术中在确定软件保护技术之间应用顺序的过程中存在着建模过程繁琐，且无法在确定合适应用序列的基础上选择可以最大化满足预设需求的应用序列的技术问题。

主权项

一种基于Petri网的软件保护技术应用序列构建方法，其特点在于，包括：S1：确定软件保护技术之间的N种依赖关系，并建立与所述N种依赖关系一一对应的N个的带抑止弧的Petri网模型，其中，所述带抑止弧的Petri网模型中包含与所述软件保护技术相对应的有限迁移集合，所述带抑止弧的Petri网模型中的变迁的发生规则符合对应的所述依赖关系，所述带抑止弧的Petri网模型中设置有与有限迁移集合具有双向弧连接关系的库所P1，N为正整数，若N大于1，则合并所述N个带抑止弧的Petri网模型中的所述库所P1，得到合并后的带抑止弧的Petri网模型；S2：建立所述带抑止弧的Petri网模型对应的可达图，确定满足预设规则的目标标识，以及确定所述可达图的初始标志和所述目标标识之间的变迁发生序列。