OCEL_output_automated.txt

device received: (['True'], [])
verify warranty: (['devicereceived0'], [])
send repair estimate: (['verifywarranty0'], [])
check estimation acceptance: (['sendrepairestimate0'], [])
repair the product: (['checkestimationacceptance0', 'check spare parts availability0'], ['sparePartsInWarehouse'])
update ticket status: (['checkestimationacceptance1', 'check spare parts availability1'], [])
repair carried out: (['updateticketstatus0'], ['repairedItems'])
repair failure: (['checkestimationacceptance2'], [])
repair failed: (['repairfailure0', 'delay notification0'], ['repairsfailed'])
assistance ticket generation: (['verifywarranty1'], ['generatedTicket'])
check spare parts availability: (['assistanceticketgeneration0'], [])
delay notification: (['checksparepartsavailability0'], ['delayNotifications'])

generatedTicket: 0
sparePartsInWarehouse: 30
repairedItems: 0
delayNotifications: 0
repairsfailed: 0

repairedItems: +1
repairsfailed: +1
generatedTicket: +1
sparePartsInWarehouse: -1
delayNotifications: +1