基于Petri网可达性的外卖流程建模优化分析

摘要

业务流程的建模是业务管理的核心内容之一,对业务流程进行建模优化分析变得更加重要.对于建模工具Petri网,其可达性是研究系统动态性质的基础,主要分析系统可能达到的状态和状态间的关系.针对具体的外卖流程,利用可达性树判断其合法引发序列和状态并结合活动间的交互关系对模型增加活动变迁和库所进行优化.