The condition, Next.Tini > Tini, en

The condition, Next.Tini > Tini, ensures that the carrier-null message is generated or passed through only when it is necessary. In summary, an LP can only generate or pass through a carrier-null message in the following cases:
1. Processing a null message Mhi from the input queue of link (h, i) £ S2, and the N ext.Tinhi with respect to this message is greater than Tini. From equation 7, it is easy to deduce
that:

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

Điều kiện, Next.Tini > Tini, đảm bảo rằng thông điệp tàu sân bay-null tạo ra hoặc trải qua chỉ khi nó là cần thiết. Tóm lại, một LP chỉ có thể tạo ra hoặc đi qua một tin nhắn trên tàu sân bay-null trong các trường hợp sau đây:1. chế biến thông điệp null Mhi từ hàng đợi nhập liên kết (h, i) £ S2, và N ext. Tinhi đối với thông báo này là lớn hơn Tini. Từ phương trình 7, nó rất dễ dàng suy luậnrằng:

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

Các điều kiện, Next.Tini> Tini, đảm bảo rằng thông điệp mang null được tạo ra hoặc thông qua thông qua chỉ khi nó là cần thiết. Tóm lại, một LP chỉ có thể tạo ra hoặc đi qua một thông điệp mang null trong các trường hợp sau đây:
1. Chế biến một thông điệp MHI null từ hàng đợi đầu vào của liên kết (h, i) £ S2, và N ext.Tinhi đối với thông điệp này với lớn hơn Tini. Từ phương trình 7, nó rất dễ dàng để suy luận
rằng: