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) 1:

Cho đến nay, quá trình chuyển đổi nhãn có trong các hình thức của [bảo vệ] hoặc sự kiện. Trong thực tế, nhấtdạng chung của một quá trình chuyển đổi nhãn là

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à