Exact and approximated log alignments for processes with inter-case dependencies
From MaRDI portal
Recommendations
- Aligning event logs to resource-constrained \(\nu \)-Petri nets
- Balanced multi-perspective checking of process conformance
- Anti-alignments in conformance checking -- the dark side of process models
- Analysis and application of transition systems based on Petri nets and relation matrices to business process management
- Resource-constrained workflow nets
Cites work
- Aligning event logs to resource-constrained \(\nu \)-Petri nets
- Balanced multi-perspective checking of process conformance
- Decidability problems in Petri nets with names and replication
- Describing Behavior of Processes with Many-to-Many Interactions
- Discovering object-centric Petri nets
- Exact and approximated log alignments for processes with inter-case dependencies
- scientific article; zbMATH DE number 3722109 (Why is no real title available?)
- Model checking Petri nets with names using data-centric dynamic systems
- On the expressiveness of mobile synchronizing Petri nets
- Resource-constrained workflow nets
- SMT-based verification of data-aware processes: a model-theoretic approach
Cited in
(2)
This page was built for publication: Exact and approximated log alignments for processes with inter-case dependencies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535188)
