A public transport ticket management system