if a set of non-faulty transitions

if a set of non-faulty transitions are enabled infinitely often, then these transitions will be executed infinitely often

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

Nếu một tập hợp các quá trình chuyển đổi không bị lỗi vô hạn thường được kích hoạt, sau đó các quá trình chuyển đổi sẽ là thực hiện infinitely thường

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

nếu một tập hợp các quá trình chuyển đổi không bị lỗi được kích hoạt vô thường, sau đó các quá trình chuyển đổi sẽ được thực hiện trong fi nitely thường