Title: | 基于工作流网的实时协同系统模拟技术 |
Alternative Title: | modeling real-time cooperative systems with workflow nets
|
Author: | 杜玉越
; 蒋昌俊
|
Keyword: | 逻辑Petri网
; 工作流
; 逻辑工作流网
; 实时协同系统
; 模拟与验证
; 逻辑工作流网
; 实时协同系统
; 状态空间爆炸问题
; 企业销售系统
; 模拟与分析
; 逻辑表达式
; 系统设计
; 模拟分析
; 继承问题
; 组合网
; 抑制弧
; 形式化
; 应用
; 输入
; 输出
; 人员
; 扩展
; 技术
; 概念Computer simulation
; Formal logic
; Petri nets
; Real time systems
; Specifications
|
Source: | 计算机学报
|
Issued Date: | 2004
|
Volume: | 27, Issue:4, Pages:471-481 | Indexed Type: | wanfang
; ei
|
Department: | 聊城大学计算机学院,聊城,252059;同济大学计算机科学与工程系,上海,200092;中国科学院软件研究所计算机科学重点实验室,北京,100080;山东工商学院计算机科学系,烟台,264005;聊城大学计算机学院,聊城,252059;山东工商学院计算机科学系,烟台,264005;宁波大学计算机科学系,宁波,315211
|
Abstract: | 基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术--逻辑工作流网. 逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入/输出受逻辑表达式的约束. 它与一般工作流网相比,能够在一定程度上缓解状态空间爆炸问题,且便于系统设计人员掌握和使用. 该文分析了逻辑工作流网的若干性质及组合网的性质继承问题,并以网上企业销售系统为例, 说明逻辑工作流网在实时协同系统模拟分析中的应用. |
Language: | 中文
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/12842
|
Appears in Collections: | 软件所图书馆_期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
基于工作流网的实时协同系统模拟技术.pdf(421KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
杜玉越,蒋昌俊. 基于工作流网的实时协同系统模拟技术[J]. 计算机学报,2004-01-01,27(4):471-481.
|
|
|