when a transition which belongs to

when a transition which belongs to a concurrency structure in the detailed model is deleted, the maximal duration of the locations that follow immediatedly the remaining transitions of this structure is increased by the time of the removed concurrent treatment.

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

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

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

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

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

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