The TCPN designed by K. Jensen are

The TCPN designed by K. Jensen are described using functional programing language. This solves the previously mentioned problems by natural means of this paradigm: the tokens are immutable, as are symbols in functional programming. To emulate this behavior in Java, we decided that the following requirements are crucial: (1) TCPN simulator can be trusted to deal with the tokens respecting Petri net principles. (2) By design we must ensure that the user will not be able to breach the rules of TCPN simulation, despite his or her lack of knowledge concerning these principles. (3) For efficiency reasons objects should be copied as rarely as possible. In order to meet the above requirements, we clone token values (using deep cloning described in [4]) when they enter simulator structures and when they are about to leave these structures. Thus, the compromise ensures correct simulation, regardless of how the token values are processed outside of the TCPN structures, concurrently preserving reasonable efficiency overhead.

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

TCPN ออกแบบ โดยคุณเจนจะอธิบายโดยใช้ภาษาการเขียนโปรแกรมทำงาน นี้แก้ปัญหากล่าว โดยวิธีธรรมชาติของกระบวนทัศน์นี้: สัญญาณพระองค์ เป็นสัญลักษณ์ในการเขียนโปรแกรมทำงาน การจำลองลักษณะการทำงานนี้ใน Java เราตัดสินใจว่า ความต้องการต่อไปนี้เป็นสำคัญ: จำลอง TCPN (1) สามารถเชื่อถือในการจัดการกับสัญญาณที่เคารพ Petri สุทธิหลักได้ (2) โดยการออกแบบ เราต้องแน่ใจว่า ผู้ใช้จะไม่สามารถละเมิดกฎของ TCPN จำลอง แม้มี คนขาดความรู้เกี่ยวกับหลักการเหล่านี้ (3) สำหรับ efficiency เหตุผลวัตถุควรคัดลอกเป็นไม่ค่อยได้ เพื่อตอบสนองความต้องการข้างต้น เราโคลนค่าโทเค็น (ใช้โคลนลึกใน [4]) เมื่อป้อนโครงสร้างจำลองและเมื่อพวกเขากำลังจะออกจากโครงสร้างเหล่านี้ ดังนั้น ปัญหาใจจำลองที่ถูกต้อง โดยไม่คำนึงถึงวิธีการประมวลผลค่าโทเคนภายนอกโครงสร้าง TCPN สม efficiency ค่าใช้จ่ายในการรักษาพร้อม

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

TCPN ออกแบบโดยเคเซ่นจะอธิบายการใช้ภาษาการเขียนโปรแกรมการทำงาน นี้แก้ปัญหาที่กล่าวถึงก่อนหน้านี้โดยวิธีธรรมชาติของกระบวนทัศน์นี้: สัญญาณจะไม่เปลี่ยนรูปเป็นสัญลักษณ์ในการเขียนโปรแกรมการทำงาน ที่จะเลียนแบบพฤติกรรมนี้ใน Java เราตัดสินใจว่าข้อกำหนดต่อไปนี้มีความสำคัญดังนี้ (1) จำลอง TCPN สามารถเชื่อถือได้ที่จะจัดการกับสัญญาณการเคารพหลักการสุทธิ Petri (2) โดยการออกแบบเราต้องมั่นใจว่าผู้ใช้จะไม่สามารถที่จะละเมิดกฎของการจำลอง TCPN แม้จะไม่มีเขาหรือเธอมีความรู้เกี่ยวกับหลักการเหล่านี้ (3) สำหรับเหตุผลประสิทธิภาพในสาย EF วัตถุที่ควรจะคัดลอกไม่ค่อยเป็นที่เป็นไปได้ เพื่อที่จะตอบสนองความต้องการดังกล่าวข้างต้นเราโคลนค่าโทเค็น (โดยใช้การโคลนนิ่งลึกที่อธิบายไว้ใน [4]) เมื่อพวกเขาเข้าไปโครงสร้างจำลองและเมื่อพวกเขากำลังจะออกจากโครงสร้างเหล่านี้ ดังนั้นการประนีประนอมเพื่อให้แน่ใจว่าการจำลองที่ถูกต้องโดยไม่คำนึงถึงวิธีการที่ค่าโทเค็นมีการประมวลผลด้านนอกของโครงสร้าง TCPN, ค่าใช้จ่ายในการรักษาพร้อมประสิทธิภาพในสาย EF ที่เหมาะสม

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

การ tcpn ออกแบบโดย K . Jensen จะอธิบายการใช้งานโปรแกรมภาษา ที่กล่าวถึงก่อนหน้านี้ ปัญหานี้แก้โดยวิธีธรรมชาติของกระบวนทัศน์นี้ สัญญาณจะไม่เปลี่ยนแปลง เป็นสัญลักษณ์ในการทํางาน การเลียนแบบพฤติกรรมนี้ใน Java , เราตัดสินใจที่จะตามความต้องการที่สำคัญ :( 1 ) tcpn จำลองสามารถเชื่อถือได้เพื่อจัดการกับสัญญาณเคารพ Petri net หลักการ ( 2 ) ได้รับการออกแบบโดยเราต้องให้แน่ใจว่า ผู้ใช้จะไม่สามารถที่จะละเมิดกฎของการ tcpn แม้เขาหรือเธอไม่มีความรู้เกี่ยวกับหลักการเหล่านี้ ( 3 ) หลักสูตรจึงควรคัดลอกวัตถุประสิทธิภาพเหตุผลที่แทบจะเป็นไปได้ เพื่อตอบสนองความต้องการดังกล่าวเราโคลนค่าสัญญาณ ( ใช้ลึกโคลนที่อธิบายไว้ใน [ 4 ] ) เมื่อพวกเขาระบุโครงสร้างจำลอง และเมื่อพวกเขากำลังจะออกจากโครงสร้างเหล่านี้ ดังนั้น การยืนยันถูกต้องจำลอง ไม่ว่าค่าโทเค็นมีการประมวลผลภายนอกของ tcpn โครงสร้าง เป็นการรักษาที่เหมาะสมประสิทธิภาพ
EF จึงเหนือศีรษะ