The state transition diagram, whose

The state transition diagram, whose states are markings and whose state
transitions correspond to transition-node firings, is called the reachability graph
associated with the Petri net. This graph is a (possibly infinite) tree rooted at
initial state M0.

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

แผนภาพการเปลี่ยนแปลงของรัฐซึ่งเป็นรัฐที่มีเครื่องหมายและรัฐ
เปลี่ยนสอดคล้องกับการเปลี่ยนแปลงโหนดไล่ออกจะเรียกว่ากราฟ reachability
เกี่ยวข้องกับสุทธิ Petri กราฟนี้ (อาจไม่มีที่สิ้นสุด) ต้นไม้ที่หยั่งรากที่
เริ่มต้นรัฐ M0

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

แผนภาพการเปลี่ยนสถานะ ซึ่งรัฐเป็นเครื่องหมายซึ่งสอดคล้องกับการเปลี่ยนสถานะ
เปลี่ยนโหนดไล่ออก เรียกว่า reachability กราฟ
ที่เกี่ยวข้องกับเพทริเน็ต กราฟนี้คือ ( อาจไม่มีที่สิ้นสุด ) ต้นไม้รากที่
m0 สถานะเริ่มต้น