Description of initial states

            - _accepts

            // Initial conditions

            - isNotRegisteredToAMF

              //The UE has no active 5G registration with the AMF.

            - isRegisteredToAMF

              //The UE has completed the 5G Registration procedure and received a Registration Accept from the AMF.

            - hasEstablishedInitialContext

              //The UE context is established in the gNB after successful Initial Context Setup procedure triggered by the AMF.

            - hasEstablishedPDUsession

            - hasEstablishedPDUsessionWithSameId

              //The UE has at least one active PDU Session, reached after a successful PDU Session Establishment Accept.

            //- hasEstablishedPDUsessionWithSameId

            - indicateConnectionEstablishmentIndicationProcedure

              //The gNB has notified the AMF of an RRC connection establishment using Initial UE Message.

            - hasEstablished_NG_C_AssociationToAMF

              //An NG-C (NGAP) association exists between the gNB and AMF, reached after successful NG Setup procedure.

            - hasNotEstablished_NG_C_AssociationToAMF

              //No NG-C (NGAP) association exists between the gNB and AMF.

            - hasEstablishedTNL_AssociationToAMF

            - processTheUEderegistration

              //A transport-layer (SCTP) association between gNB and AMF is established before any NGAP procedures.

            - havingSentPDUSessionEstablishment

              //The UE has sent a PDU Session Establishment Request and is awaiting the network response.

            //When Triggers

            - u_Plane_inactivity_timer_expires

              //The user-plane inactivity timer expires when no uplink or downlink user-plane traffic is detected for a configured duration.

            - hasSuccessfullyEstablishedTNLconnection

              //A transport network layer (TNL) connection is successfully established after completion of the SCTP association setup between the gNB and the AMF.

            - processTheUEderegistration

              //UE performs the NAS Deregistration signalling to release its registration and associated contexts from the AMF.

        ;

    } // End of Domain section