For these more complex Petri net mo

For these more complex Petri net models, the state of the Petri net must be
redefined to incorporate additional information, hence the number of possible
states will generally be much greater. Consequently, the equivalent reachability
graph may be too large for analysis. Popova-Zeugmann (2006) uses DP to
reduce the number of states associated with a Petri net model. Furthermore, of

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

โมเดลเหล่านี้ซับซ้อน Petri สุทธิ รัฐ Petri สุทธิต้องโครงแบบใหม่เพื่อรวมข้อมูลเพิ่มเติม ดังนั้นจำนวนได้อเมริกาโดยทั่วไปจะยิ่งใหญ่ ดังนั้น reachability เทียบเท่ากราฟอาจจะใหญ่เกินไปสำหรับการวิเคราะห์ Popova-Zeugmann (2006) ใช้ DP เพื่อลดจำนวนของรัฐที่เกี่ยวข้องกับแบบสุทธิ Petri นอกจากนี้ ของ

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

สำหรับเหล่านี้ Petri ซับซ้อนมากขึ้นสุทธิรุ่นรัฐของ Petri net ต้อง
ศูนย์รวมข้อมูลเพิ่มเติม ดังนั้นจำนวนของรัฐเป็นไปได้
โดยทั่วไปจะเป็นมากขึ้น จากนั้น เทียบเท่า reachability
กราฟอาจจะใหญ่เกินไปสำหรับการวิเคราะห์ Popova zeugmann ( 2006 ) ใช้ DP

ลดจํานวนของสหรัฐอเมริกาที่เกี่ยวข้องกับ Petri net แบบ นอกจากนี้ , ของ