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

杜玉越蒋昌俊

聊城大学;

摘要：

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

关键词：逻辑Petri网、工作流、逻辑工作流网、实时协同系统、模拟与验证

所属期刊栏目：27

分类号：TP302(计算技术、计算机技术)

资助基金：国家自然科学基金60125205;国家高技术研究发展计划863计划2001AA413020,2002AA4Z3430;中国科学院计算机科学重点实验室基金SYSKF0205,SYSKF0309;上海市重点项目02DJ14064;全国高等学校优秀博士学位论文作者专项基金199934;高等学校优秀青年教师教学科研奖励计划

在线出版日期：2004-05-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：471-481