位置：成果数据库 > 期刊 > 期刊详情页
TAR：an improved process similarity measure based on unfolding of Petri nets
  • ISSN号：1006-5911
  • 期刊名称：《计算机集成制造系统》
  • 时间：0
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]School of Software, Tsinghua University, Beijing 100084, China, [2]Ministry of Education Key Laboratory for Information System Security, Tsinghua University,Beijing 100084, China~, [3]Tsinghua National Laboratory for Information Science and Technology, Beijing 100084, China
  • 相关基金：Project supported by the National Science Foundation, China （No. 61003099）, and the National Basic Research Program , China （No. 2009CB320700）.
作者： WANG Wen-xing[1,2] WANG Jian-min[1,2,3]
中文摘要：

WANG Wenxing, male, master , research interests include software engineering and worktqow technology, E-mail： wwx. peking@gllmil, com. WANG Jianmin, professor, research interests include organizational information systems, business process lifecycle management, tured data management, database system test, software security and DRM on mobile platform.

同期刊论文项目
过程挖掘算法评估框架研究
期刊论文 21 会议论文 13
　基于网络的复杂软件可信度和服务质量及其开发方法和运行机理的基础研究
期刊论文 13
同项目期刊论文
Verification of workflow nets with transition conditions
行为因果关系的分类与判定
基于完全有限前缀的完备日志生成算法
基于支持向量机的Web日志用户标志修正算法
业务过程模型库索引技术
PLM系统中业务对象版本操作合规性检查的自动实现
Efficient querying of large process model repositories
Formal modeling language of workflow with data-data-aware workflow nets
时序行为特征描述模式体系的化简
基于MapReduce的海量事件日志并行转化算法
基于任务最短跟随距离矩阵的流程模型行为相似性算法
基于Petri网编辑距离相似性的过程模型存储机制
Querying business process model repositories: A survey of current approaches and issues
Computing Refined Ordering Relations with Uncertainty for Acyclic Process Models
TAR*: An improved process similarity measure based on unfolding of Petri nets
Efficient Selection of Process Mining Algorithms
Efficient Semantics - Based Compliance Checking Using LTL Formulae and Unfolding
基于完全有限前缀的过程实例表示图的分解
带数据工作流的形式化建模语言——数据感知的工作流网
Verification ofworkflow nets with transition conditions
行为因果关系的分类与判定
基于完全有限前缀的完备日志生成算法
基于支持向量机的Web日志用户标志修正算法
业务过程模型库索引技术
PLM系统中业务对象版本操作合规性检查的自动实现
基于多示例学习的异常行为检测方法
工作流管理系统中一种概率性分析和调整时间约束的方法
带数据工作流的形式化建模语言——数据感知的工作流网
Verification ofworkflow nets with transition conditions
互联网时代的软件技术：现状与趋势
Software techniques for Internet Computing： Current situation and future trend
Internetware： An Emerging Software Paradigm for Internet Computing
期刊信息
  • 《计算机集成制造系统》
  • 北大核心期刊（2011版）
  • 主管单位:中国兵器工业集团公司
  • 主办单位:中国兵器工业第210研究所
  • 主编：杨海成
  • 地址：北京市海淀区车道沟10号北京2413信箱34分箱
  • 邮编：100089
  • 邮箱：986127464@qq.com
  • 电话：010-68962468
  • 国际标准刊号：ISSN：1006-5911
  • 国内统一刊号：ISSN：11-5946/TP
  • 邮发代号:82-289
  • 获奖情况:
  • 全国中文核心期刊,中国科技论文统计与分析文献来源期刊,中国科学引文数据库来源期刊,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:25379