咨询与建议

限定检索结果

文献类型

  • 20 篇 期刊文献
  • 11 篇 会议
  • 7 篇 学位论文

馆藏范围

  • 38 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 37 篇 工学
    • 34 篇 计算机科学与技术...
    • 20 篇 软件工程
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 水利工程
    • 1 篇 生物医学工程(可授...
  • 7 篇 管理学
    • 7 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 文学
    • 1 篇 新闻传播学
  • 1 篇 理学
    • 1 篇 物理学
    • 1 篇 化学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 中西医结合
    • 1 篇 医学技术(可授医学...

主题

  • 38 篇 wf-net
  • 5 篇 petri net
  • 4 篇 工作流
  • 4 篇 uml
  • 4 篇 workflow
  • 4 篇 petri网
  • 3 篇 petri nets
  • 3 篇 j2ee
  • 3 篇 pnml
  • 3 篇 mvc设计模式
  • 3 篇 process mining
  • 2 篇 batch processing...
  • 2 篇 应急管理
  • 2 篇 元模型
  • 2 篇 过程建模
  • 2 篇 转换规则
  • 2 篇 bpel
  • 2 篇 batch processing
  • 2 篇 工作流日志
  • 2 篇 soundness

机构

  • 4 篇 武汉理工大学
  • 3 篇 内蒙古大学
  • 2 篇 shandong univ sc...
  • 2 篇 南京大学
  • 2 篇 cent south univ ...
  • 2 篇 shanghai second ...
  • 2 篇 univ technol syd...
  • 2 篇 hunan univ sci &...
  • 1 篇 福建师范大学
  • 1 篇 西安航空技术高等...
  • 1 篇 chongqing univ c...
  • 1 篇 school of econom...
  • 1 篇 univ sci & techn...
  • 1 篇 shenyang normal ...
  • 1 篇 ocean univ china...
  • 1 篇 hubei univ sch e...
  • 1 篇 huazhong univ sc...
  • 1 篇 china univ petr ...
  • 1 篇 peking univ key ...
  • 1 篇 西北工业大学

作者

  • 2 篇 海晓军
  • 2 篇 wen yiping
  • 2 篇 chen jinjun
  • 2 篇 liu jianxun
  • 2 篇 pan hailan
  • 2 篇 chen zhigang
  • 1 篇 zhou jian-tao
  • 1 篇 zhang xiao-fang
  • 1 篇 huang kebin
  • 1 篇 陈道蓄
  • 1 篇 郑栋
  • 1 篇 zhao chunjiang
  • 1 篇 cai yunpeng
  • 1 篇 李燕
  • 1 篇 yang yafang
  • 1 篇 huang yu
  • 1 篇 verbeek eric
  • 1 篇 guan wei
  • 1 篇 赵文
  • 1 篇 xu xiaoshuang

语言

  • 21 篇 中文
  • 15 篇 英文
  • 2 篇 其他
检索条件"主题词=WF-net"
38 条 记 录,以下是1-10 订阅
排序:
Discovering an S-Coverable wf-net using DiSCover  4
Discovering an S-Coverable WF-net using DiSCover
收藏 引用
4th International Conference on Process Mining (ICPM)
作者: Verbeek, Eric Eindhoven Univ Technol Dept Math & Comp Sci Eindhoven Netherlands
Although many algorithms exist that can discover a wf-net from an event log, only a few (if any at all) can discover advanced routing constructs. As examples, the Inductive miner uses process trees and cannot discover... 详细信息
来源: 评论
Management System Process Modeling Based on Petri nets and wf-net
Management System Process Modeling Based on Petri Nets and W...
收藏 引用
2010 3rd International Conference on Biomedical Engineering and Informatics (BMEI 2010)
作者: Cai, Yunpeng Shenyang Normal Univ Chinese Acad Sci Shenyang Inst Automat Modern Equipment Lab Shenyang Peoples R China
the process modeling is very important in the design of software system based on technology of workflow. This paper discuss the application of process modeling in the design on MIS, introduce the theory of wf-net and ... 详细信息
来源: 评论
wf-net模型到PNML的转换方法研究与实现
收藏 引用
计算机科学 2010年 第12期37卷 96-98,105页
作者: 周建涛 海晓军 内蒙古大学计算机学院 呼和浩特010021
Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网wf-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将wf... 详细信息
来源: 评论
工作流网WRI wf-net的验证方法研究及实现
收藏 引用
南京大学学报(自然科学版) 2006年 第5期42卷 519-527页
作者: 朱伟杰 葛季栋 鲁平 胡昊 吕建 南京大学计算机软件新技术国家重点实验室计算机软件研究所 南京210093
wf-net是一种工作流模型,合理性是衡量wf-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了wf-net的广泛应用.工作流模型WRI wf-netwf-net的子集,能够直接保证工作流模型的合理... 详细信息
来源: 评论
一种wf-net合理性验证方法
收藏 引用
四川大学学报(自然科学版) 2007年 第6期44卷 1259-1262页
作者: 何萍 李凡 成都信息工程学院 成都610225
工作流过程定义的合理性对于工作流管理系统具有重用意义,在设计的工作流过程投入实际运行前必须证明其合理性.wf-net是一种对工作流的控制流维度建模的Petri网,具有牢固的理论基础,是对工作流过程定义进行描述的有效工具.基于wf-net工... 详细信息
来源: 评论
基于wf-net的工作流建模技术及应用
收藏 引用
计算机科学 2006年 第4期33卷 134-136页
作者: 宋贤钧 王炳鹏 郭佳 兰州石化职业技术学院 兰州730060
工作流系统成功的关键在于向其输入的工作流的质量,因此工作流的建模就显得非常重要。工作流网(wf-net)是由 Petri 网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义,其次这种形式化体系可以用来反思过程,... 详细信息
来源: 评论
wf-net模型到PNML的转换方法研究与实现
WF-net模型到PNML的转换方法研究与实现
收藏 引用
作者: 海晓军 内蒙古大学
学位级别:硕士
工作流是指文档、信息或者任务按照程序性的流程由组织内的一个部门传递到另一个部门时,业务过程的部分或全部自动化执行。wf-net是应用于工作流建模与工作流模型定性、定量分析的主要建模技术之一。基于XML语言的Petri网标记语言(Petri... 详细信息
来源: 评论
基于wf-net的应急管理工作流模型的研究
收藏 引用
科技信息 2009年 第2期 152-153页
作者: 卢靖 上海交通大学信息安全学院
本文设计了一种基于Petri网工作流模型的建模方法及其相关规则,并且通过应急管理系统为例,详细阐述了用此方法及其相关规则构建Petri网工作流模型的过程,最后通过Petri网理论对模型进行了正确合理性分析。
来源: 评论
一个基于wf-net的工作流异常恢复网模型
一个基于WF-net的工作流异常恢复网模型
收藏 引用
2007中国计算机大会
作者: 娄渊胜 黄龙达 王志坚 岳璐璐 河海大学计算机及信息工程学院 江苏南京210098 河海大学水利水电工程学院 江苏南京210098
针对工作流系统中存在的异常问题,本文提出了一个基于wf-net和ECA规则的工作流恢复网模型。主要对可预测和不可预测异常处理进行分析。模型设计时采用了wf-net结构,运行时可动态调整工作流结构,采用基于任务的恢复策略处理异常。 ... 详细信息
来源: 评论
一种基于wf-net中隐含任务的过程挖掘算法
收藏 引用
软件导刊 2010年 第7期9卷 57-59页
作者: 杨雅芳 黄旭明 福建师范大学数学与计算机科学学院 福建福州350007
首先分析wf-net中存在的隐含任务问题,然后基于α算法,提出了能发现工作流日志中隐含任务的过程挖掘算法α+**。该算法利用任务间特定的相互依赖关系判定是否存在隐含任务,然后把隐含任务添加到对应的位置生成新日志。最后采用α算法从... 详细信息
来源: 评论