the guarded transition is used by data driven state machines to trigger state transitions

Transition tr: running -> running {
guard ’‘‘data_counter_finish.finish == true && data_finish_flag == false’’‘
action ’’‘++counter;’’’
}