Function createTicketStateMachine