2 papers
cs.AI2026
Developing a Totally Unimodular Linear Program for Optimal Conformance Checking: When and Why It Complements A*
Izack Cohen
Alignment-based conformance checking is the state-of-the-art approach for comparing observed process executions with normative process models. The standard exact solution relies on…
cs.AI2026
Petri Net Induced Heuristic Search for Resource Constrained Scheduling
Ido Lublin, Dor Atzmon, Izack Cohen
We formulate the Resource-Constrained Project Scheduling Problem (RCPSP) as optimal search over the reachability graph of a Timed Transition Petri Net with Resources, using relativ…