A Petri net is deadlock-free ifeach

A Petri net is deadlock-free if
each reachable marking
enables at least one transition

ผลลัพธ์ (ไทย) 1:

Petri ที่สุทธิได้ถ้าปราศจากการชะงักงันแต่ละเครื่องสามารถเข้าถึงทำให้เปลี่ยนแปลงน้อย

ผลลัพธ์ (ไทย) 2:

สุทธิ Petri คือการหยุดชะงักฟรีถ้า
แต่ละคนสามารถเข้าถึงได้แต้ม
ช่วยให้อย่างน้อยหนึ่งการเปลี่ยนแปลง

ผลลัพธ์ (ไทย) 3:

ทดลองสุทธิคือการหยุดชะงักฟรีหากได้เครื่องหมาย

แต่ละช่วยให้อย่างน้อยหนึ่งที่เปลี่ยน