A Petri net is a class of directed

A Petri net is a class of directed graphs having two types of nodes, place
nodes and transition nodes, where branches connect nodes of different types, and
where place-nodes have (“ contain ”) associated objects called tokens. For any
transition-node T, branches from a place-node to the transition-node, or from
the transition-node to a place-node, define the input place-nodes (or preset) and
output place-nodes (or postset), respectively, of the given transition-node.

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

Petri ที่สุทธิเป็นคลาสของกราฟโดยตรงมีโหนสองชนิด สถานที่โหนดและโหนดที่เปลี่ยนแปลง ที่สาขาเชื่อมต่อโหนดชนิด และวัตถุเชื่อมโยงเรียกโทเคนที่โหนที่มี ("มี") ใด ๆเปลี่ยนโหน T สาขาจากโหน โหนเปลี่ยน หรือจากโหนเปลี่ยนสถานโหน กำหนดอินพุทโหน (หรือกำหนดล่วงหน้า) และผลโหน (หรือ postset), ตามลำดับ เปลี่ยนโหนดให้

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

ทดลองสุทธิเป็นชั้นของกราฟที่มีสองประเภทของโหนดโหนดและโหนดที่
เปลี่ยนที่สาขาเชื่อมต่อโหนดของประเภทที่แตกต่างกัน และมีสถานที่โหนด (
" ประกอบด้วย " ) ที่เกี่ยวข้องวัตถุเรียกว่าสัญญาณ สำหรับการเปลี่ยนแปลงใด ๆโหนด
T สาขาจากการเปลี่ยนสถานที่โหนดโหนด หรือจากการไปที่
โหนดโหนดที่โหนด ( หรือกำหนดเข้าไว้ ) และ
โหนดที่ออก ( หรือ postset ) ตามลำดับ จากที่ได้รับการเปลี่ยนโหนด