摘要
目前业务流程的建模是业务流程管理的核心内容之一,对业务流程模型进行建模优化变得尤为重要.Petri网的可达性是进行Petri网业务流程分析的基础,在EVCARD共享汽车系统模型中,通过分析库所与变迁之间的可达关系,可以实现商家与顾客的共同利益.我们首先在已有的共享汽车系统的基础上给出业务流程Petri网模型,然后通过在模型中增加库所变迁的方式进行模型优化,使其具有适用性.
出处
《赤峰学院学报(自然科学版)》
2018年第7期68-70,共3页
Journal of Chifeng University(Natural Science Edition)
基金
国家自然科学基金项目(61402011
61572035)
安徽省自然科学基金(1508085MF111
1608085QF149)
安徽省高校自然科学基金重点项目(KJ2016A208)