基于带抑止弧的Petri网的软件保护技术应用序列构建方法

来源 :工业工程 | 被引量 : 0次 | 上传用户:qingdao2046
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于软件保护领域中多种软件保护技术之间存在不同依赖关系的情况,针对求解有效的软件保护技术应用序列问题,提出了一种基于带抑止弧的Petri网建模分析的求解方法.首先分类并建立4种基本的软件保护技术依赖关系的Petri网模型,包括前向/后向必须依赖关系和前向/后向禁止依赖关系;根据实际应用场景建立相应的复合依赖关系Petri网模型,并绘制其可达标识图;在可达标识图中定位满足需求的标识,求解得从初始标识到此标识的一条变迁序列所对应的软件保护技术应用序列即为所求序列.最后,通过实验证明了此方法的有效性.
其他文献
构建了基于设备单元布局集成求解的设备混合布局多目标优化模型,提出了遗传免疫蚁群混合启发式算法进行模型求解,该算法设计了带“保险柜”的自适应免疫蚁群算法选择操作,有力地
从荒山环绕、沙尘满天到“国家森林城市”,昔日的古城西宁如今气候宜人、绿树环抱。南北两山从“荒山秃木”到“林木蓊郁”的过程,离不开“牧民省长”尕布龙的努力。作为党的高级领导干部,他在职时始终心系百姓,把人民群众的疾苦放在第一位,退出领导岗位后又以更大的热情投身为人民服务。他用自己的一生,诠释了共产党人的坚定信念,践行了共产党人为人民服务的宗旨,深刻解读了“手握重权不谋私利、身居高位心系百姓”的精神特