Free choice Petri nets
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Finding Trading Partners to Establish Ad-hoc Business Processes
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
CAAP '83 Proceedings of the 8th Colloquium on Trees in Algebra and Programming
Introduction to Evolutionary Computing
Introduction to Evolutionary Computing
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Discovering workflow models from activities' lifespans
Computers in Industry - Special issue: Process/workflow mining
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Metrics for labelled Markov processes
Theoretical Computer Science - Logic, semantics and theory of programming
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
A behavioural pseudometric for metric labelled transition systems
CONCUR 2005 - Concurrency Theory
Process equivalence: comparing two process models based on observed behavior
BPM'06 Proceedings of the 4th international conference on Business Process Management
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
The prom framework: a new era in process mining tool support
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Conformance testing: measuring the fit and appropriateness of event logs and process models
BPM'05 Proceedings of the Third international conference on Business Process Management
Genetic process mining: a basic approach and its challenges
BPM'05 Proceedings of the Third international conference on Business Process Management
Supporting Flexible Processes through Recommendations Based on History
BPM '08 Proceedings of the 6th International Conference on Business Process Management
A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
A workflow net similarity measure based on transition adjacency relations
Computers in Industry
Mining process models with prime invisible tasks
Data & Knowledge Engineering
A fresh look at precision in process conformance
BPM'10 Proceedings of the 8th international conference on Business process management
Process compliance measurement based on behavioural profiles
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
APROMORE: An advanced process model repository
Expert Systems with Applications: An International Journal
Complex mapping discovery for semantic process model alignment
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Process compliance analysis based on behavioural profiles
Information Systems
Perceived consistency between process models
Information Systems
Approximating Markovian testing equivalence
Theoretical Computer Science
Two-thirds simulation indexes and modal logic characterization
Frontiers of Computer Science in China
Similarity metrics for surgical process models
Artificial Intelligence in Medicine
A comparative survey of business process similarity measures
Computers in Industry
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Using process mining metrics to measure noisy process fidelity
EASE'09 Proceedings of the 13th international conference on Evaluation and Assessment in Software Engineering
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Assessing the replaceability of service protocols in mediated service interactions
Future Generation Computer Systems
A graph distance based metric for data oriented workflow retrieval with variable time constraints
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matching some desired service description, or to compare some normative process model with a process model discovered using process mining techniques. Although many researchers have worked on different notions of equivalence (e.g., trace equivalence, bisimulation, branching bisimulation, etc.), most of the existing notions are not very useful in this context. First of all, most equivalence notions result in a binary answer (i.e., two processes are equivalent or not). This is not very helpful because, in real-life applications, one needs to differentiate between slightly different models and completely different models. Second, not all parts of a process model are equally important. There may be parts of the process model that are rarely activated (i.e., ''process veins'') while other parts are executed for most process instances (i.e., the ''process arteries''). Clearly, differences in some veins of a process are less important than differences in the main arteries of a process. To address the problem, this paper proposes a completely new way of comparing process models. Rather than directly comparing two models, the process models are compared with respect to some typical behavior. This way, we are able to avoid the two problems just mentioned. The approach has been implemented and has been used in the context of genetic process mining. Although the results are presented in the context of Petri nets, the approach can be applied to any process modeling language with executable semantics.