2024年7月13日
星期六
|
欢迎来到叙永县图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
刘玉平
作品数:
2
被引量:7
H指数:1
供职机构:
内蒙古科技大学工程训练中心
更多>>
发文基金:
内蒙古自治区自然科学基金
更多>>
相关领域:
自动化与计算机技术
文化科学
更多>>
合作作者
马胜梅
包头职业技术学院材料工程系
赵军富
内蒙古科技大学工程训练中心
靳荣
内蒙古科技大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
流模型
1篇
模型化
1篇
模型化简
1篇
化简
1篇
化简技术
1篇
工作流
1篇
工作流模型
1篇
PETRI网
机构
1篇
内蒙古科技大...
作者
1篇
靳荣
1篇
赵军富
1篇
马胜梅
1篇
刘玉平
传媒
1篇
微计算机信息
年份
1篇
2009
共
2
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
基于Petri网化简技术的工作流模型合理性验证
被引量:7
2009年
随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。本文通过引入Petri网、Workflow Petri网和过程合理性定义,采用Petri网的两种化简技术,实现了工作流过程模型结构合理性验证过程。
赵军富
靳荣
马胜梅
刘玉平
关键词:
PETRI网
工作流
模型化简
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张