Extends eST-Miner with place selection for guaranteed minimal fitness and a refined place fitness metric for infrequent behavior in process discovery from event logs.
Soundness of Resource-Constrained Workflow Nets
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2022 2verdicts
UNVERDICTED 2representative citing papers
Extends Petri nets with identifiers for object- and resource-aware systems and defines generalized correctness criteria with decidability analysis.
citing papers explorer
-
Discovering Process Models With Long-Term Dependencies While Providing Guarantees and Filtering Infrequent Behavior Patterns
Extends eST-Miner with place selection for guaranteed minimal fitness and a refined place fitness metric for infrequent behavior in process discovery from event logs.
-
Correctness Notions for Petri Nets with Identifiers
Extends Petri nets with identifiers for object- and resource-aware systems and defines generalized correctness criteria with decidability analysis.