位置：成果数据库 > 期刊 > 期刊详情页
Efficient Semantics - Based Compliance Checking Using LTL Formulae and Unfolding
  • ISSN号：0362-546X
  • 期刊名称：Journal of Applied Mathematics
  • 时间：2013.6.6
  • 页码：-
  • 相关项目：过程挖掘算法评估框架研究
作者： Liang Song|Jianmin Wang|Lijie Wen|Hui Kong|
同期刊论文项目
过程挖掘算法评估框架研究
期刊论文 21 会议论文 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
基于完全有限前缀的过程实例表示图的分解
带数据工作流的形式化建模语言——数据感知的工作流网
TAR：an improved process similarity measure based on unfolding of Petri nets
Verification ofworkflow nets with transition conditions