| 基于工作流网的实时协同系统模拟技术 |
| 其他题名 | modeling real-time cooperative systems with workflow nets
|
| 杜玉越; 蒋昌俊
|
| 2004
|
| 发表期刊 | 计算机学报
 |
| ISSN | 0254-4164
|
| 卷号 | 27期号:4页码:471-481 |
| 摘要 | 基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术--逻辑工作流网. 逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入/输出受逻辑表达式的约束. 它与一般工作流网相比,能够在一定程度上缓解状态空间爆炸问题,且便于系统设计人员掌握和使用. 该文分析了逻辑工作流网的若干性质及组合网的性质继承问题,并以网上企业销售系统为例, 说明逻辑工作流网在实时协同系统模拟分析中的应用. |
| 收录类别 | wanfang
; ei
|
| 关键词 | 逻辑petri网
工作流
逻辑工作流网
实时协同系统
模拟与验证
逻辑工作流网
实时协同系统
状态空间爆炸问题
企业销售系统
模拟与分析
逻辑表达式
系统设计
模拟分析
继承问题
组合网
抑制弧
形式化
应用
输入
输出
人员
扩展
技术
概念computer Simulation
Formal Logic
Petri Nets
Real Time Systems
Specifications
|
| 部门归属 | 聊城大学计算机学院,聊城,252059;同济大学计算机科学与工程系,上海,200092;中国科学院软件研究所计算机科学重点实验室,北京,100080;山东工商学院计算机科学系,烟台,264005;聊城大学计算机学院,聊城,252059;山东工商学院计算机科学系,烟台,264005;宁波大学计算机科学系,宁波,315211
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/12842
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
杜玉越,蒋昌俊. 基于工作流网的实时协同系统模拟技术[J]. 计算机学报,2004,27(4):471-481.
|
| APA |
杜玉越,&蒋昌俊.(2004).基于工作流网的实时协同系统模拟技术.计算机学报,27(4),471-481.
|
| MLA |
杜玉越,et al."基于工作流网的实时协同系统模拟技术".计算机学报 27.4(2004):471-481.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论