基于工作流网的实时协同系统模拟技术

• 作者: 杜玉越 蒋昌俊
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 逻辑Petri网 工作流 逻辑工作流网 实时协同系统 模拟与验证
• 年，卷（期）: 2004,（4）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 471-481
• 页数: 11页
• 分类号: TP302
• 字数: 11243字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2004.04.005

摘要

基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术--逻辑工作流网. 逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入/输出受逻辑表达式的约束. 它与一般工作流网相比,能够在一定程度上缓解状态空间爆炸问题,且便于系统设计人员掌握和使用. 该文分析了逻辑工作流网的若干性质及组合网的性质继承问题,并以网上企业销售系统为例, 说明逻辑工作流网在实时协同系统模拟分析中的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜玉越	聊城大学计算机学院	4	44	2.0	4.0
9	蒋昌俊	聊城大学计算机学院	2	42	1.0	2.0