期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于Petri网的工作流模式——工作流模式分析研究
被引量:
16
1
作者
余鹏
周国富
+1 位作者
屈婉玲
袁崇义
《系统仿真学报》
CAS
CSCD
2003年第z1期119-122,共4页
随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作流理论...
随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作流理论基础进行研究。本文将利用Petri网来描述和分析工作流的各种模式,比较模式之间的异同,并对模式进行合并和重划分。
展开更多
关键词
工作流
PETRI网
模式
活动
连接器
下载PDF
职称材料
并行程序与状态序列——交叉语义约定的研究
2
作者
袁崇义
余鹏
王生原
《系统仿真学报》
CAS
CSCD
2003年第z1期29-31,共3页
许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动。但人们习惯于用状态序列对并列程序模型的语义作数学处理。一旦偏序的状态空间用交叉的方法全序化,并用于论证...
许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动。但人们习惯于用状态序列对并列程序模型的语义作数学处理。一旦偏序的状态空间用交叉的方法全序化,并用于论证程序性质,误导就在所难免。所谓误导,指的是与实际运行的偏差,借助于Petri网,可以将它们暴露出来。其实偏差的出现与Petri网的基本现象冲突(conflict)、冲撞(contact)、并发(concurrency)和混惑(confusion)相关。本文用Petri网分析误导的情况。
展开更多
关键词
交叉语义约定
PETRI网
冲突
冲撞
并发
混惑
下载PDF
职称材料
工作流分层模型的PNML表示
被引量:
2
3
作者
霍金健
黄雨
+1 位作者
屈婉玲
袁崇义
《南京大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第5期538-543,共6页
PNML是一种基于XML的Petri网交换格式,在工作流引擎内部使用PNML表示业务流程的模型,可以使得引擎和其他支持PNML表示的工具之间具有很强的互操作性.为此需要先定义新的标签,然后给出新的Petri网类型定义,最后通过例子阐明了如何用扩展...
PNML是一种基于XML的Petri网交换格式,在工作流引擎内部使用PNML表示业务流程的模型,可以使得引擎和其他支持PNML表示的工具之间具有很强的互操作性.为此需要先定义新的标签,然后给出新的Petri网类型定义,最后通过例子阐明了如何用扩展后的PNML表示工作流分层模型.借助PNML表示,实现的工作流引擎工具具有很强的扩展性,能够和其他支持PNML的工具进行数据交换.
展开更多
关键词
工作流分层模型
PETRI网
PNML
扩展性
下载PDF
职称材料
库所组合有色网-一种新型的有色网
被引量:
2
4
作者
霍金健
袁崇义
屈婉玲
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期30-37,43,共9页
为了解决用Petri网描述复杂系统时出现的"节点爆炸"问题,本文提出了四种特殊的弧:约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没有增加描述能力,但在描述具有...
为了解决用Petri网描述复杂系统时出现的"节点爆炸"问题,本文提出了四种特殊的弧:约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没有增加描述能力,但在描述具有组合效果的系统时具有强大的先天优势.本文通过为电梯控制系统建模示例了这四种弧为简化模型带来的便捷之处.
展开更多
关键词
PETRI网
约束弧
柔性弧
组合弧
因果弧
下载PDF
职称材料
题名
基于Petri网的工作流模式——工作流模式分析研究
被引量:
16
1
作者
余鹏
周国富
屈婉玲
袁崇义
机构
北京大学信息科学学院计算机科学技术系
出处
《系统仿真学报》
CAS
CSCD
2003年第z1期119-122,共4页
基金
国家自然科学基金(69973003)
973项目(G1999032706)
文摘
随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作流理论基础进行研究。本文将利用Petri网来描述和分析工作流的各种模式,比较模式之间的异同,并对模式进行合并和重划分。
关键词
工作流
PETRI网
模式
活动
连接器
Keywords
workflow
Petri Nets
patterns
activity
connector
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
并行程序与状态序列——交叉语义约定的研究
2
作者
袁崇义
余鹏
王生原
机构
北京大学信息科学学院计算机科学技术系
出处
《系统仿真学报》
CAS
CSCD
2003年第z1期29-31,共3页
基金
国家自然科学基金(69973003)
973项目(G1999032706)
文摘
许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动。但人们习惯于用状态序列对并列程序模型的语义作数学处理。一旦偏序的状态空间用交叉的方法全序化,并用于论证程序性质,误导就在所难免。所谓误导,指的是与实际运行的偏差,借助于Petri网,可以将它们暴露出来。其实偏差的出现与Petri网的基本现象冲突(conflict)、冲撞(contact)、并发(concurrency)和混惑(confusion)相关。本文用Petri网分析误导的情况。
关键词
交叉语义约定
PETRI网
冲突
冲撞
并发
混惑
Keywords
interleaving convention
Petri Nets
conflict
concurrency
contact
confusion
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
工作流分层模型的PNML表示
被引量:
2
3
作者
霍金健
黄雨
屈婉玲
袁崇义
机构
北京大学信息科学学院计算机科学技术系
出处
《南京大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第5期538-543,共6页
基金
国家自然科学基金(60173002)
973项目基金(2002CB312004)
文摘
PNML是一种基于XML的Petri网交换格式,在工作流引擎内部使用PNML表示业务流程的模型,可以使得引擎和其他支持PNML表示的工具之间具有很强的互操作性.为此需要先定义新的标签,然后给出新的Petri网类型定义,最后通过例子阐明了如何用扩展后的PNML表示工作流分层模型.借助PNML表示,实现的工作流引擎工具具有很强的扩展性,能够和其他支持PNML的工具进行数据交换.
关键词
工作流分层模型
PETRI网
PNML
扩展性
Keywords
layered model of workflow, Petri nets, PNML, expansibility
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
库所组合有色网-一种新型的有色网
被引量:
2
4
作者
霍金健
袁崇义
屈婉玲
机构
北京大学信息科学学院计算机科学技术系
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期30-37,43,共9页
基金
国家自然科学基金 (60173002)
973项目 (2002CB312004)
文摘
为了解决用Petri网描述复杂系统时出现的"节点爆炸"问题,本文提出了四种特殊的弧:约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没有增加描述能力,但在描述具有组合效果的系统时具有强大的先天优势.本文通过为电梯控制系统建模示例了这四种弧为简化模型带来的便捷之处.
关键词
PETRI网
约束弧
柔性弧
组合弧
因果弧
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于Petri网的工作流模式——工作流模式分析研究
余鹏
周国富
屈婉玲
袁崇义
《系统仿真学报》
CAS
CSCD
2003
16
下载PDF
职称材料
2
并行程序与状态序列——交叉语义约定的研究
袁崇义
余鹏
王生原
《系统仿真学报》
CAS
CSCD
2003
0
下载PDF
职称材料
3
工作流分层模型的PNML表示
霍金健
黄雨
屈婉玲
袁崇义
《南京大学学报(自然科学版)》
CAS
CSCD
北大核心
2005
2
下载PDF
职称材料
4
库所组合有色网-一种新型的有色网
霍金健
袁崇义
屈婉玲
《系统仿真学报》
CAS
CSCD
北大核心
2005
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部