So far, transition labels have been

So far, transition labels have been in the form of [guard] or event. In fact, the most
general form of a transition label is

Kết quả (Việt) 2:

Cho đến nay, nhãn chuyển tiếp đã được trong các hình thức [bảo vệ] hoặc sự kiện. Trong thực tế, hầu hết các
hình thức chung của một nhãn chuyển tiếp là