modeled and validated using the Pet

modeled and validated using the Petri nets formalism, as
described in Section III

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

จำลอง และผ่านการตรวจสอบโดยใช้การเพาะยัง สุทธิเป็นอธิบายไว้ในส่วนที่ III

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

การสร้างแบบจำลองและตรวจสอบการใช้ Petri มุ้งพิธีขณะที่
อธิบายไว้ในส่วนที่สาม

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

ออกแบบและตรวจสอบโดยใช้ทฤษฎีเพทริเน็ตแบบ เช่นที่อธิบายไว้ในส่วนที่สาม