针对档案归并流程动态建模容易引发流程逻辑混乱,造成归并流程无法正确执行的问题,提出一种基于逻辑Petri网建模的档案归并流程合理性验证方法。将流程健壮性转化为路径可达问题,给出了一种基于路径规约的健壮性判定方法。设计了档案归并流程健壮性判定算法,给出了判定实例,该方法避免传统Petri网方法进行可达判定时面临的状态空间爆炸问题,提高档案归并流程健壮性判定的效率。
科研之友
微信
新浪微博
Facebook
分享链接
