Użyj uniksowych znaczników czasu w bazie danych, więc możesz ustawić timeout. Wysłać żądania ajax, gdy użytkownik nadal patrzy na bilet.
następnie użyj pętli foreach i odfiltruj wszystkie aktywne znaczniki czasu, wypisz nazwę użytkownika lub identyfikator.
wyślij odpowiedź do swojego klienta w formacie json (chyba, że twoje getto wystarczy, aby użyć XML)