一种基于逻辑Petri网建模的档案归并流程健壮性验证方法  

A Soundness Checking Method Based on Logic Petri Net Modeling for File Merging Process

作　　者：王标[1] 王萃 WANG Biao;WANG Cui(Qufu Normal University,Shandong 273165,China)

机构地区：[1]曲阜师范大学,山东273165

出　　处：《电子技术（上海）》2022年第1期74-77,共4页Electronic Technology

摘　　要：针对档案归并流程动态建模容易引发流程逻辑混乱,造成归并流程无法正确执行的问题,提出一种基于逻辑Petri网建模的档案归并流程合理性验证方法。将流程健壮性转化为路径可达问题,给出了一种基于路径规约的健壮性判定方法。设计了档案归并流程健壮性判定算法,给出了判定实例,该方法避免传统Petri网方法进行可达判定时面临的状态空间爆炸问题,提高档案归并流程健壮性判定的效率。Dynamic modeling of the file merging process is easy to lead to the confusion of the process logic in archives management.It may result in the merge process cannot be executed correctly.A method to verify the soundness of file merging process based on logic Petri net is proposed in this paper.Soundness of file merging process is transformed into path reachability problem.A path specification-based method to check the soundness of file merging process is provided.Algorithm for soundness checking is designed and examples for soundness verification are also given.The proposed method avoids the state space explosion problem of traditional Petri net method in reachability judgment,and improves the efficiency of file merging process robustness judgment.

关 键 词：智能算法 归并流程 健壮性Petri网 档案管理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] TP311.13[自动化与计算机技术—控制科学与工程]