life cycle state machines and psms for use case checkin single ticket