基于逻辑数据petri网的业务过程建模与分析论文.pdfVIP

第23卷第5期 计算机集成制造系统 V01．23No．5 201 7年5月 201 7 ComputerIntegratedManufacturingSystems May DOI：lO．13196／j．cims．2017．05．001 基于逻辑数据Petri网的业务过程建模与分析 王聘，刘伟+，杜玉越 (山东科技大学计算机科学与工程学院，山东青岛266590) 摘要：为了解决逻辑Petri网中处理托肯优先级的问题，结合逻辑Petri网和时间Petri网的思想，提出逻辑数据 Petri网、引发规则及其可达图。在该网中，为每个托肯添加了属性和到达时间，为逻辑输入、输出变迁添加了批处理 等待时间和变迁引发持续时间，为普通变迁添加了引发持续时间。针对托肯定义了属性、时间删除函数和写函数，对 库所中托肯的属性