Query: Transitions that are the default entrance of a given statePurpose: Returns the default entrances (compound transitions) of the states in the input liststm_r_tr_default_of_st (IN st_list: LIST OF
STATE,OUT status: INTEGER)
Query: Transitions whose source is the specified statePurpose: Returns the transitions whose source is a state appearing in the input liststm_r_tr_from_source_st (IN st_list: LIST OF STATE,
OUT status: INTEGER)
Query: Transitions whose target is a given statePurpose: Returns the transitions whose target is a state appearing in the input list.stm_r_tr_to_target_st (IN st_list: LIST OF STATE,
OUT status: INTEGER)