摘要

提出了基于Petri网的物流配送系统建模方法,并对配送过程中的业务流程进行建模。给出了配送模型健壮性定义,并基于工作流和Petri网的相关理论给出了健壮性的判定算法,最后通过应用实例证明了该方法的有效性。