The Petri net is not deadlockfree,

The Petri net is not deadlock
free, e.g., [p2] is reachable.

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

Petri สุทธิไม่ล็อกตายฟรี เช่น [p 2] ได้เข้า

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

สุทธิ Petri จะไม่หยุดชะงัก
ฟรีเช่น [P2] สามารถเข้าถึงได้

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

การเพาะเลี้ยงสุทธิไม่ได้หยุดชะงัก
ฟรี เช่น [ P2 ] เข้าถึงได้ .