选择嵌套并发的过程模型修正方法

摘要

本发明公开了一种选择嵌套并发的过程模型修正方法，所述修正方法为了确定就诊过程中偏差的位置，发现实际就诊流程与医院公布业务流程可以改进的地方，提出了最简校准的概念，加入可达库所集来帮助确定就诊过程中偏差的位置。修正得到的就诊模型能够正确反映现实行为，解决了在选择结构中分支跳转的问题，由于加入了逻辑关系，相较普通Petri网能更为简洁的表达活动之间的关系。基于逻辑Petri网修正的就诊模型大大降低了模型的复杂性，从而简洁度更高。由于没有自环跟不可见变迁，修正后模型的精确度也更高。