Process Mining-Informed Petri Net Simulation for Cost-Effectiveness Analysis in Health Systems | Synapse