super.transitions[TicketStatesEnum.TICKET_VNO_TAG_STATE.ordinal()][UniversalTag.INTEGER.getValue()] =
new GrammarTransition<TicketContainer>(
TicketStatesEnum.TICKET_VNO_TAG_STATE,
TicketStatesEnum.TICKET_VNO_STATE,
UniversalTag.INTEGER,
new StoreTktVno() );
// --------------------------------------------------------------------------------------------
// Transition from tkt-vno to realm tag
// --------------------------------------------------------------------------------------------
// Ticket ::= [APPLICATION 1] SEQUENCE {