(*************************************** * $Source: /u/opi/86/rlinnane/mobsim/theThing/protocols/bts/RCS/btsm.aut,v $ * * $Author: jpelkone $ * * $Date: 1996/01/21 20:14:35 $ * * $Id: btsm.aut,v 1.1 1996/01/21 20:14:35 jpelkone Exp jpelkone $ * * Copyright (c) Ismo Kangas 1995 * *************************************** * * * $Log: btsm.aut,v $ * Revision 1.1 1996/01/21 20:14:35 jpelkone * Initial revision * * * ***************************************) idle Btsmp_Channel_Activation { store_channel_number() Lapds_Datareq(Btsmp_Channel_Activation_Ack) to(bsc_connected) } idle OTHER { } bsc_connected Btsms_Estind { Lapds_Datareq(Btsmp_Establish_Indication) to(active) } bsc_connected OTHER { } (bsc_connected, active) Btsmp_Rf_Channel_Release { Lapds_Datareq(Btsmp_Rf_Channel_Release_Ack) to(idle) } active Btsms_Datareq { Lapds_Datareq(Btsmp_Data_Request) } active Btsms_Deactsacch { Lapds_Datareq(Btsmp_Deactive_Sacch) } active Btsmp_Physical_Context_Request { Lapds_Datareq(Btsmp_Physical_Context_Confirm) } active Btsms_Pagcmd { Lapds_Datareq(Btsmp_Paging_Command) } active Btsms_Sacchfill { Lapds_Datareq(Btsmp_Sacch_Filling) } active Btsmp_Data_Indication { Btsms_Dataind } active Btsmp_Release_Indication { Btsms_Relind } active Btsmp_Handover_Detection { Btsms_Hodet } active Btsmp_Physical_Context_Confirm { Btsms_Physconcon } active OTHER { }