TAGER: Transition-Labeled Graph Edit Distance Similarity Measure on Process Models

  title={TAGER: Transition-Labeled Graph Edit Distance Similarity Measure on Process Models},
  author={Zixuan Wang and Lijie Wen and Jianmin Wang and Shuhao Wang},
  booktitle={OTM Conferences},
Although several approaches have been proposed to compute the similarity between process models, they have various limitations. We propose an approach named TAGER (Transition-lAbeled Graph Edit distance similarity MeasuRe) to compute the similarity based on the edit distance between coverability graphs. As the coverability graph represents the behavior of a Petri net well, TAGER, based on it, has a high precise computation. Besides, the T-labeled graphs (an isomorphic graph of the coverability… 

Strong behavioral similarities in timed-arc Petri nets

  • V. Valero
  • Computer Science
    Appl. Math. Comput.
  • 2018

Measuring Data-Aware Process Consistency Based on Activity Constraint Graphs

Results show that the proposed systematic solution for effective measurement of consistency between data-aware processes is more accurate, generates a finer distribution of consistency degrees, and detects differences more effectively than other state-of-the-art approaches.

Process Analytics

Match Theorical Activity References model type complexity similarity St ru ct ur al Graph Exact, inexact NP-Complete String distance + WordNet + ontological similarities.

Process Matching Techniques

This chapter presents process matching techniques that are useful in a series of process model analytics tasks that compare process models' different perspectives: interface, business protocol, and process model.

A Study of Di erent Visualizations for Visualizing Di erences in Process Models

Finding di erences between two processes can be a complex, time consuming, and expensive task. Our work is based on the di erence graph approach which calculates the di erences between two process

A Study of Different Visualizations for Visualizing Differences in Process Models

The results show that color coding and symbols were the preferred methods of the participants for depicting differences in a graph visualization.



A workflow net similarity measure based on transition adjacency relations

A Behavioral Similarity Measure between Labeled Petri Nets Based on Principal Transition Sequences - (Short Paper)

A novel method to determine the degree of similarity between process models, which exploits their semantics, based on the notion of so-called "principal transition sequences", which aim to provide an approximation of the essence of a process model.

Graph Matching Algorithms for Business Process Model Similarity Search

This work evaluates four graph matching algorithms, ranging from a greedy one to a relatively exhaustive one, and shows that the mean average precision obtained by a fast greedy algorithm is close to that obtained with the most exhaustive algorithm.

Similarity of business process models: Metrics and evaluation

SSDT matrix-based behavioral similarity algorithm for process models

The behavioral similarity algorithm based on SSDT matrix was put forward to support all possible complex structures of process models and compared with current approaches, the proposed algorithm could meet all the prospective properties better.

Efficient Consistency Measurement Based on Behavioral Profiles of Process Models

A concept called behavioral profile is introduced that captures the essential behavioral constraints of a process model and is used for the definition of a formal notion of consistency which is less sensitive to model projections than common criteria of behavioral equivalence and allows for quantifying deviation in a metric way.

Metric Trees for Efficient Similarity Search in Large Process Model Repositories

This paper focuses on process model repositories, which contain hundreds or thousands of process models, and how to manage and manage these repositories using a single website.

Querying business process model repositories

An overview of the field of querying business process models; a summary of its literature; and a list of challenges (and some potential solutions) that have yet to be addressed are provided.

Verification of WF-nets

The issues presented in this thesis focus on the controlflow perspective (that is, on the workflow process definitions) and abstract from other perspectives and motivates why it is reasonable to restrict the analysis focus to a single perspective.

Business Process Management: A Survey

The acronyms in this domain are tried to demystify, the state-of-the-art technology is described, and it is argued that BPM could benefit from formal methods/languages.