The reachability graph of a Petrine

The reachability graph of a Petrinet is a transition system with
one initial state (initial marking)
and no explicit final marking.

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

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

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

กราฟของการเชื่อม Petrinet เป็นระบบที่มีการเปลี่ยนแปลง
สถานะเริ่มต้นหนึ่ง (เครื่องหมายเริ่มต้น)
และสุดท้ายไม่มีการทำเครื่องหมายอย่างชัดเจน

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

การ reachability กราฟของ petrinet เป็นระบบการเปลี่ยนสถานะ ( เริ่มต้นที่เริ่มต้นด้วย

และไม่มีเครื่องหมาย ) ซึ่งสุดท้ายเครื่องหมาย