The state of a Petri net, called it

The state of a Petri net, called its marking M, is characterized by the tokens
at each place-node P; the initial state of a Petri net is a specified initial
marking M0. A Petri net makes transitions from one state to another based
upon firing rules associated with the transition-nodes: if each input place-node
of a transition-node contains a token, then the transition-node is eligible to fire.

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

สถานะของสุทธิ Petri ที่เรียกว่าการทำเครื่องหมายของ M เป็นลักษณะสัญญาณ
ในแต่ละสถานที่โหนด P; สถานะเริ่มต้นของ Petri สุทธิเป็นครั้งแรกที่ระบุ
เครื่องหมาย M0 สุทธิ Petri ทำให้เปลี่ยนจากรัฐหนึ่งไปยังอีกตาม
กฎการยิงตามที่เกี่ยวข้องกับการเปลี่ยนแปลงโหนด-ถ้าการป้อนข้อมูลสถานที่แต่ละโหนด
ของการเปลี่ยนแปลงโหนดมีสัญญาณแล้วการเปลี่ยนแปลงโหนดมีสิทธิ์ที่จะยิง

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

สภาพทดลองสุทธิ เรียกว่าเป็นเครื่องหมายเมตร เป็นลักษณะสัญญาณ
ในแต่ละสถานที่โหนด P ; สถานะเริ่มต้นของทดลองเป็นครั้งแรก
m0 ระบุเครื่องหมาย . ทดลองสุทธิทำให้การเปลี่ยนจากสถานะหนึ่งไปยังอีกตามกฎ
เมื่อยิงที่เกี่ยวข้องกับการเปลี่ยนโหนดแต่ละโหนด
: ถ้าป้อนข้อมูลสถานที่ของการเปลี่ยนแปลงปมมีตั๋วแล้วเปลี่ยนโหนดมีสิทธิที่จะยิง