This second step aims indeed to sim

This second step aims indeed to simplify the structure of the model by keeping only the components models that introduce delays (treatment times, waiting times for resource availability or synchronization) which impact directly the property to prove; all the other components models are removed.

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

ขั้นตอนที่สองนี้มีจุดมุ่งหมายที่แน่นอนเพื่อลดความซับซ้อนของโครงสร้างของรูปแบบโดยการเก็บรักษาเพียงชิ้นส่วนรุ่นที่แนะนำความล่าช้า (เท่าการรักษาระยะเวลาการรอว่างทรัพยากรหรือการประสาน) ซึ่งส่งผลกระทบโดยตรงในการพิสูจน์ทรัพย์สิน; ทุกรุ่นส่วนประกอบอื่น ๆ จะถูกลบออก

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

ขั้นตอนที่สองนี้มีวัตถุประสงค์แน่นอนเพื่อทำโครงสร้างของรูปแบบ โดยเฉพาะส่วนประกอบของรูปแบบที่ล่าช้า (รักษาเวลา เวลารอสำหรับทรัพยากรหรือตรง) ซึ่งส่งผลกระทบโดยตรงคุณสมบัติให้พิสูจน์ แนะนำ การรักษา ทั้งหมดคอมโพเนนต์รุ่นอื่น ๆ จะถูกเอาออก

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

ขั้นตอนที่สองนี้มีเป้าหมายเพื่อลดความยุ่งยากซับซ้อนจริงๆโครงสร้างของรุ่นที่ได้รับการดูแลรักษาตามเท่านั้นที่รุ่นคอมโพเนนต์ที่แนะนำให้ล่าช้า(เวลาการบำบัดช่วงเวลารอคอยสำหรับการซิงโครไนซ์หรือความพร้อมใช้งานทรัพยากร)ที่ส่งผลกระทบต่อที่พักโดยตรงที่จะพิสูจน์รุ่นคอมโพเนนต์อื่นๆทั้งหมดจะถูกลบออก