Many properties of a Petri net can

Many properties of a Petri net can be determined by analysis of its reachability
graph, such as the existence or optimality of certain paths. The latter
suggests that DP can be applied to solve optimization problems related to Petri
nets. Werner (2006) uses DP to solve a critical path problem arising from a
Petri net model

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

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

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

คุณสมบัติหลายอย่างของเพทริเน็ตสามารถกำหนดโดยการวิเคราะห์ของ reachability
กราฟ เช่น การดำรงอยู่ หรือคุณภาพของเส้นทางที่แน่นอน หลัง
บ่งบอกว่า DP สามารถใช้แก้เพิ่มประสิทธิภาพปัญหาที่เกี่ยวข้องกับ Petri
แห เวอร์เนอร์ ( 2006 ) ใช้ DP เพื่อแก้ปัญหาวิกฤติที่เกิดขึ้นจาก
Petri net แบบ