Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
Validation of Process Models by Construction of Process Nets
Business Process Management, Models, Techniques, and Empirical Studies
CAAP '83 Proceedings of the 8th Colloquium on Trees in Algebra and Programming
Discovering workflow models from activities' lifespans
Computers in Industry - Special issue: Process/workflow mining
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
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
Mining process models with non-free-choice constructs
Data Mining and Knowledge Discovery
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
Behavioral analysis of web services for supporting mediated service interoperations
Proceedings of the 10th international conference on Electronic commerce
Measuring Similarity between Business Process Models
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Measurement of Compliance Distance in Business Processes
Information Systems Management
On Measuring Process Model Similarity Based on High-Level Change Operations
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
On managing business processes variants
Data & Knowledge Engineering
Graph Matching Algorithms for Business Process Model Similarity Search
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Measuring the Compliance of Processes with Reference Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
A behavioural congruence for web services
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
On the discovery of preferred work practice through business process variants
ER'07 Proceedings of the 26th international conference on Conceptual modeling
An efficient approach for supporting dynamic evolutionary change of adaptive workflow
APWeb'08 Proceedings of the 10th Asia-Pacific web conference on Progress in WWW research and development
Process mining based on clustering: a quest for precision
BPM'07 Proceedings of the 2007 international conference on Business process management
A workflow net similarity measure based on transition adjacency relations
Computers in Industry
Similarity of business process models: Metrics and evaluation
Information Systems
Fast business process similarity search with feature-based similarity estimation
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
A behavioral similarity measure between labeled Petri nets based on principal transition sequences
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Behavioral similarity: a proper metric
BPM'11 Proceedings of the 9th international conference on Business process management
Searching business process repositories using operational similarity
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Comparison and retrieval of process models using related cluster pairs
Computers in Industry
A case based reasoning approach for the monitoring of business workflows
ICCBR'10 Proceedings of the 18th international conference on Case-Based Reasoning Research and Development
Fast business process similarity search
Distributed and Parallel Databases
A process distance metric based on alignment of process structure trees
APWeb'12 Proceedings of the 14th international conference on Web Technologies and Applications
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Assessing the replaceability of service protocols in mediated service interactions
Future Generation Computer Systems
Assessing and governing IT-staff behavior by performance-based simulation
Computers in Human Behavior
Assisting business process design by activity neighborhood context matching
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle
International Journal of Web Services Research
Detection and resolution of conflicting change operations in version management of process models
Software and Systems Modeling (SoSyM)
A Methodology for Improving Business Process Performance through Positive Deviance
International Journal of Information System Modeling and Design
Hi-index | 0.01 |
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 while other parts are executed for most process instances. Clearly, these should be considered differently. To address these problems, 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. Although the results are presented in the context of Petri nets, the approach can be applied to any process modeling language with executable semantics.