Institutional Repository
| 基于工作流网的实时协同系统模拟技术 | |
| Alternative Title | modeling real-time cooperative systems with workflow nets |
| 杜玉越; 蒋昌俊 | |
| 2004 | |
| Source | 计算机学报
 |
| ISSN | 0254-4164 |
| Volume | 27Issue:4Pages:471-481 |
| English Abstract | 基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术--逻辑工作流网. 逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入/输出受逻辑表达式的约束. 它与一般工作流网相比,能够在一定程度上缓解状态空间爆炸问题,且便于系统设计人员掌握和使用. 该文分析了逻辑工作流网的若干性质及组合网的性质继承问题,并以网上企业销售系统为例, 说明逻辑工作流网在实时协同系统模拟分析中的应用. |
| Indexed Type | wanfang ; ei |
| Keyword | 逻辑petri网 工作流 逻辑工作流网 实时协同系统 模拟与验证 逻辑工作流网 实时协同系统 状态空间爆炸问题 企业销售系统 模拟与分析 逻辑表达式 系统设计 模拟分析 继承问题 组合网 抑制弧 形式化 应用 输入 输出 人员 扩展 技术 概念computer Simulation Formal Logic Petri Nets Real Time Systems Specifications |
| Department | 聊城大学计算机学院,聊城,252059;同济大学计算机科学与工程系,上海,200092;中国科学院软件研究所计算机科学重点实验室,北京,100080;山东工商学院计算机科学系,烟台,264005;聊城大学计算机学院,聊城,252059;山东工商学院计算机科学系,烟台,264005;宁波大学计算机科学系,宁波,315211 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12842 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 杜玉越,蒋昌俊. 基于工作流网的实时协同系统模拟技术[J]. 计算机学报,2004,27(4):471-481. |
| APA | 杜玉越,&蒋昌俊.(2004).基于工作流网的实时协同系统模拟技术.计算机学报,27(4),471-481. |
| MLA | 杜玉越,et al."基于工作流网的实时协同系统模拟技术".计算机学报 27.4(2004):471-481. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于工作流网的实时协同系统模拟技术.pd（421KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment