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

被引：12

作者：

杜玉越

蒋昌俊

机构：

[1] 聊城大学计算机学院

[2] 聊城大学计算机学院聊城

[3] 同济大学计算机科学与工程系

[4] 上海

[5] 中国科学院软件研究所计算机科学重点实验室

[6] 北京

[7] 山东工商学院计算机科学系烟台

[8] 宁波大学计算机科学系

[9] 宁波

来源：

计算机学报 | 2004年 / 04期

基金：

国家杰出青年科学基金;

关键词：

逻辑Petri网; 工作流; 逻辑工作流网; 实时协同系统; 模拟与验证;

D O I：

暂无

中图分类号：

TP391.9 [计算机仿真];

学科分类号：

080203 ;

摘要：

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

引用

页码：471 / 481

页数：11