Pages that link to "Item:Q272169"
From MaRDI portal
The following pages link to Balanced multi-perspective checking of process conformance (Q272169):
Displaying 12 items.
- Balanced multi-perspective checking of process conformance (Q272169) (← links)
- Confluence for process verification (Q672042) (← links)
- Conformance checking and diagnosis in process mining. Comparing observed and modeled processes (Q1684068) (← links)
- CTL* model checking for data-aware dynamic systems with arithmetic (Q2104496) (← links)
- Aligning event logs to resource-constrained \(\nu \)-Petri nets (Q2165247) (← links)
- Anti-alignments in Conformance Checking – The Dark Side of Process Models (Q2822655) (← links)
- Hierarchical Conformance Checking of Process Models Based on Event Logs (Q5300878) (← links)
- Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations (Q5870852) (← links)
- Computing alignments with maximum synchronous moves via replay in coordinate planes (Q6191633) (← links)
- Verification of data-aware process models: checking soundness of Data Petri nets (Q6197587) (← links)
- Modelling data-aware stochastic processes -- discovery and conformance checking (Q6535187) (← links)
- Exact and approximated log alignments for processes with inter-case dependencies (Q6535188) (← links)