基于逻辑数据Petri网的业务过程建模与分析
来源：计算机集成制造系统杂志2017年第5期北京时间：
作者：王聘,刘伟,杜玉越
单位：山东科技大学计算机科学与工程学院
摘要：为了解决逻辑Petri网中处理托肯优先级的问题,结合逻辑Petri网和时间Petri网的思想,提出逻辑数据Petri网、引发规则及其可达图。在该网中,为每个托肯添加了属性和到达时间,为逻辑输入、输出变迁添加了批处理等待时间和变迁引发持续时间,为普通变迁添加了引发持续时间。针对托肯定义了属性、时间删除函数和写函数,对库所中托肯的属性和到达时间进行了操作。建立了基于逻辑数据Petri网的电子商务系统模型,构建了可达图并重新定义了可达图中的状态信息,分析了优先级不同的托肯的时间优越性以及系统处理用户请求时的公平性。
关键词：逻辑数据Petri网,电子商务系统,优先级,时间
基金资助：国家自然科学基金资助项目(61472228,61502280,61170078);青岛市应用基础研究计划资助项目(青年专项)(14-2-4-55-jch);山东省自然科学基金资助项目(ZR2014FM2009,ZR2015FM013)。
