Petri netsource 451sink 46sink 47sink 48middle 49source 51sink 52source 53sink 54register requesttau splitcheck ticketexamine casuallyexamine thoroughlydecidereinitiate requesttau from treepay compensationreject request1normal1normal1normal1normal1normal1normal1normal1normal1normal1normalsink 52 -[1]-> decidenormal1normalsink 54 -[1]-> decidenormal1normal1normal1normal1normal1normal1normal1normal1normal1normal010000000