基于工作流网的实时协同系统模拟技术
文献类型：期刊论文
| 作者 | 杜玉越 ; 蒋昌俊 |
| 刊名 | 计算机学报
 |
| 出版日期 | 2004 |
| 卷号 | 27期号:4页码:471-481 |
| 关键词 | 逻辑Petri网 工作流 逻辑工作流网 实时协同系统 模拟与验证 逻辑工作流网 实时协同系统 状态空间爆炸问题 企业销售系统 模拟与分析 逻辑表达式 系统设计 模拟分析 继承问题 组合网 抑制弧 形式化 应用 输入 输出 人员 扩展 技术 概念Computer simulation Formal logic Petri nets Real time systems Specifications |
| ISSN号 | 0254-4164 |
| 其他题名 | modeling real-time cooperative systems with workflow nets |
| 中文摘要 | 基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术--逻辑工作流网. 逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入/输出受逻辑表达式的约束. 它与一般工作流网相比,能够在一定程度上缓解状态空间爆炸问题,且便于系统设计人员掌握和使用. 该文分析了逻辑工作流网的若干性质及组合网的性质继承问题,并以网上企业销售系统为例, 说明逻辑工作流网在实时协同系统模拟分析中的应用. |
| 收录类别 | wanfang ; ei |
| 语种 | 中文 |
| 公开日期 | 2011-07-29 |
| 附注 | A new formal method used to model and to analyze real-time cooperative systems, logical workflow nets, is presented based on Petri nets and workflow techniques in this paper. It is the abstract and extension of Petri nets and high-level Petri nets on the |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。