To formally model the solution of a

To formally model the solution of a DP functional equation, or the execution
of a spreadsheet, or the behavior of a dataflow computer, it is useful to adopt
a generalization of the usual state transition system model in which transitions
are data-dependent. Petri nets, introduced in the next section, are one such
model.

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

แบบการแก้ปัญหาของสมการเชิงฟังก์ชันเป็น DP หรือการดำเนินการอย่างเป็นกิจจะลักษณะกระดาษคำนวณ หรือลักษณะการทำงานของคอมพิวเตอร์ dataflow จะมีประโยชน์เพื่อนำมาใช้generalization ของแบบจำลองระบบเปลี่ยนสถานะปกติในช่วงใดขึ้นอยู่กับข้อมูลได้ Petri มุ้ง ในส่วนถัดไป เป็นหนึ่งดังกล่าวแบบจำลอง

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

อย่างเป็นทางการแบบการแก้ปัญหาของสม DP การทำงานหรือการดำเนินการ
ของสเปรดชีทหรือการทำงานของคอมพิวเตอร์ dataflow จะเป็นประโยชน์ที่จะนำมาใช้
ลักษณะทั่วไปของรูปแบบระบบการเปลี่ยนสถานะปกติซึ่งในการเปลี่ยน
ข้อมูลที่มีขึ้นอยู่กับ มุ้ง Petri แนะนำในส่วนถัดไปดังกล่าวเป็นหนึ่งใน
รูปแบบ

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

อย่างเป็นทางการแบบโซลูชั่นของ DP ทำหน้าที่สมการ หรือประหาร
ของสเปรดชีท หรือพฤติกรรมของข้อมูลคอมพิวเตอร์ เป็นประโยชน์อุปการะ
นัยทั่วไปของการเปลี่ยนรูปแบบของรัฐในระบบปกติ ซึ่งการเปลี่ยน
เป็นข้อมูลขึ้นอยู่กับ ทฤษฎีเพทริเน็ตแนะนำ ในส่วนถัดไป , รุ่นหนึ่งเช่น