论文部分内容阅读
目前业务流程的建模是业务流程管理的核心内容之一,对业务流程模型进行建模优化变得尤为重要.Petri网的可达性是进行Petri网业务流程分析的基础,在EVCARD共享汽车系统模型中,通过分析库所与变迁之间的可达关系,可以实现商家与顾客的共同利益.我们首先在已有的共享汽车系统的基础上给出业务流程Petri网模型,然后通过在模型中增加库所变迁的方式进行模型优化,使其具有适用性.