关键词：业务流程;;Petri网;;共享汽车系统;;行为轮廓
摘 要：目前业务流程的建模是业务流程管理的核心内容之一,对业务流程模型进行建模优化变得尤为重要.Petri网的可达性是进行Petri网业务流程分析的基础,在EVCARD共享汽车系统模型中,通过分析库所与变迁之间的可达关系,可以实现商家与顾客的共同利益.我们首先在已有的共享汽车系统的基础上给出业务流程Petri网模型,然后通过在模型中增加库所变迁的方式进行模型优化,使其具有适用性.
内 容：原文可通过湖北省科技信息共享服务平台（http://www.hbstl.org.cn)获取