Waiting nets extend time Petri nets by decoupling time measurement from control, admit finite state class graphs for bounded instances, and are strictly more expressive than TPNs under timed language equivalence.
Waiting 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 eST-Miner with place selection for guaranteed minimal fitness and a refined place fitness metric for infrequent behavior in process discovery from event logs.
citing papers explorer
-
Waiting Nets: State Classes and Taxonomy
Waiting nets extend time Petri nets by decoupling time measurement from control, admit finite state class graphs for bounded instances, and are strictly more expressive than TPNs under timed language equivalence.
-
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.