Concurrency between requests from P

Concurrency between requests from PLC1 and PLC3 is indeed explicitly modelled by the structure of the initial model, by two concurrent transitions starting from location 1, while it is represented by a variable delay in the modified model; the duration of location 2 may vary from a void value to the request treatment time (0.7 ms), by means of appropriate invariant and guard. Hence, the behaviour of the modified model is simpler than that of the initial model, because only the response to a request from PLC1 is modelled, but this response is sent with a variable delay, which is mandatory to obtain a meaningful model.

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

เห็นพ้องระหว่างการร้องขอจาก plc1 และ plc3 แน่นอนอย่างชัดเจนโดยการสร้างแบบจำลองโครงสร้างของรูปแบบการเริ่มต้นโดยการเปลี่ยนพร้อมกันทั้งสองเริ่มต้นจากสถานที่ที่ 1 ในขณะที่มันจะถูกแทนด้วยตัวแปรความล่าช้าในการปรับเปลี่ยนรูปแบบการ; ระยะเวลาของสถ​​านที่ 2 อาจแตกต่างจาก ค่าโมฆะขอเวลาในการรักษา (0.7 มิลลิวินาที) โดยใช้วิธีการที่เหมาะสมคงที่และรักษาความปลอดภัย ด้วยเหตุนี้พฤติกรรมของรูปแบบการแก้ไขง่ายกว่าแบบแรกเพราะเพียงการตอบสนองต่อการร้องขอจาก plc1 เป็นรูปแบบ แต่การตอบสนองนี้จะถูกส่งไปที่มีความล่าช้าตัวแปรซึ่งมีผลบังคับใช้เพื่อให้ได้รูปแบบที่มีความหมาย

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

แน่นอนชัดเจนมี modelled เกิดจาก PLC1 และ PLC3 โดยโครงสร้างของแบบจำลองเริ่มต้น โดยเปลี่ยนพร้อมกันสองที่เริ่มต้นจากตำแหน่ง 1 ในขณะที่แทน โดยระหว่างตัวแปรในแบบจำลองการแก้ไข ระยะเวลาสถานที่ 2 อาจเปลี่ยนแปลงจากค่ายกเลิกการร้องขอการรักษาเวลา (0.7 ms), โดย invariant ที่เหมาะสมและรักษา ดังนั้น พฤติกรรมของแบบจำลองปรับเปลี่ยนได้ง่ายกว่าของรุ่นแรก เนื่องจากเฉพาะการตอบสนองการร้องขอจาก PLC1 เป็น modelled แต่คำตอบถูกส่งพร้อมกับเลื่อนตัวแปร ซึ่งเป็นข้อบังคับเพื่อขอรับแบบที่มีความหมาย

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

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