The structure of TCPN model is stor

The structure of TCPN model is stored in an object of class CP Net. The user is supposed to create TCPN model by creating Place, Transition, Input Arc and Output Arc objects together with guards and inscriptions implementing I Guard and I Expression interfaces. For efficiency of simulation it is however vital, to provide various information about the net as quickly as possible, without the need to repeatedly exploit computationally intensive graph algorithms. Therefore,after user provided the model, the CP Net class performs additional processing in order to cache data concerning model structure and efficiently provide required information for the simulator. On the basis of the list of transitions provided by the user the CP Net class creates list of all places in the model (as Java Array List). Additionally it caches Petri net structure in an array analogous to graph incidence matrix. The internal structures are filled by method init of class CP Net that should be called after the CP Net object is provided with the list of objects representing TCPN transition. The proposed solution allows to reconcile requirements concerning efficient access to different aspects of TCPN model while simulation, with the need to ensure consistency between different representations. Obviously the structure of the Petri net cannot be changed after the call to the initmethod.

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

โครงสร้างของแบบจำลอง TCPN ถูกจัดเก็บในออบเจ็กต์ของคลาสสุทธิ CP ผู้ใช้ควรสร้างรูปแบบ TCPN โดยสร้างวัตถุสถานที่ เปลี่ยน เข้าโค้ง และ โค้งออกพร้อมกับเจ้าหน้าที่และจารึกที่ใช้ ฉันรักษา และอินเทอร์เฟซผมนิพจน์ สำหรับ efficiency ของการจำลองสถานการณ์ เป็นสำคัญ การให้ข้อมูลต่าง ๆ เกี่ยวกับเน็ตอย่างรวดเร็วที่สุด โดยไม่จำเป็นต้องใช้อัลกอริทึมกราฟ computationally เข้มข้นซ้ำ ดังนั้น หลังจากที่ผู้ใช้จัดรูปแบบ คลาสุทธิ CP ทำการประมวลผลสั่งแคข้อมูลเกี่ยวกับโครงสร้างรูปแบบ และ efficiently ให้ข้อมูลจำเป็นสำหรับการจำลอง ตามรายการของการเปลี่ยนโดยผู้ใช้ คลาสสุทธิ CP สร้างรายการของสถานทั้งหมดในรูปแบบ (เป็น Java อาร์เรย์รายการ) นอกจากนี้จะเก็บโครงสร้างสุทธิ Petri ในอาร์เรย์ที่คล้ายคลึงกับเมทริกซ์กราฟอุบัติการณ์ โครงสร้างภายในมี filled โดยเริ่มวิธีของคลาสุทธิ CP ที่ควรเรียกว่าหลังจากที่วัตถุสุทธิ CP มีรายการของวัตถุที่แสดงถึงการเปลี่ยนแปลง TCPN โซลูชั่นนำเสนอถึงประสิทธิภาพด้านต่าง ๆ ของแบบจำลอง TCPN ในขณะที่จำลอง กับความจำเป็นเพื่อให้สอดคล้องกันระหว่างการนำเสนอที่แตกต่างกันเกี่ยวกับความต้องการได้ แน่นอนไม่เปลี่ยนโครงสร้างของ Petri สุทธิหลังจากโทรไป initmethod

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

โครงสร้างของรูปแบบ TCPN ถูกเก็บไว้ในวัตถุของคลาสซีพีสุทธิ ผู้ใช้ควรจะสร้างรูปแบบ TCPN โดยการสร้างสถานที่การเปลี่ยน, อินพุตและเอาต์พุต Arc Arc วัตถุร่วมกับเจ้าหน้าที่รักษาความปลอดภัยและการดำเนินการจารึกฉันยามและอินเตอร์เฟซที่ฉันแสดงออก สำหรับประสิทธิภาพในสาย EF ของการจำลอง แต่มันเป็นสิ่งสำคัญเพื่อให้ข้อมูลต่างๆเกี่ยวกับเน็ตเร็วที่สุดเท่าที่เป็นไปได้โดยไม่จำเป็นต้องใช้ประโยชน์ซ้ำขั้นตอนวิธีการอย่างเข้มข้นคอมพิวเตอร์กราฟ ดังนั้นหลังจากที่ผู้ใช้ให้รูปแบบที่ระดับ CP สุทธิดำเนินการประมวลผลเพิ่มเติมเพื่อให้ข้อมูลเกี่ยวกับแคชโครงสร้างรูปแบบและไฟ EF ciently ให้ข้อมูลที่จำเป็นสำหรับการจำลอง บนพื้นฐานของรายชื่อของการเปลี่ยนที่มีให้โดยผู้ใช้สร้างระดับ CP สุทธิรายการสถานที่ทั้งหมดในรูปแบบ (ตามรายชื่ออาร์เรย์ Java) นอกจากนี้ยังเก็บโครงสร้าง Petri สุทธิในอาร์เรย์คล้ายกับกราฟเมทริกซ์อุบัติการณ์ โครงสร้างภายใน lled ไฟ init โดยวิธีการของการเรียน CP สุทธิที่ควรจะเรียกว่าหลังจากวัตถ​​ุ CP สุทธิมีให้กับรายการของวัตถุที่เป็นตัวแทนของการเปลี่ยนแปลง TCPN โซลูชั่นที่นำเสนอจะช่วยให้การเจรจาต่อรองเกี่ยวกับการเข้าถึงความต้องการที่มีประสิทธิภาพในแง่มุมที่แตกต่างกันของรูปแบบในขณะที่ TCPN จำลองที่มีความจำเป็นเพื่อให้สอดคล้องระหว่างการแสดงที่แตกต่างกัน เห็นได้ชัดว่าโครงสร้างของสุทธิ Petri ไม่สามารถเปลี่ยนแปลงได้หลังจากที่การเรียกร้องให้ initmethod

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

โครงสร้างของแบบจำลอง tcpn จะถูกเก็บไว้ในวัตถุของคลาส CP สุทธิ ผู้ใช้ควรจะสร้างรูปแบบ tcpn โดยการสร้างสถานที่ ช่วงโค้งเข้าและออกโค้งวัตถุด้วยกันกับยาม และจารึกที่ใช้ผมยามผมสีหน้า interfaces . สำหรับประสิทธิภาพของการจำลอง EF จึงเป็นส่วนสำคัญ เพื่อให้ข้อมูลต่างๆ เกี่ยวกับเน็ตที่เร็วที่สุดโดยไม่ต้องซ้ำใช้ประโยชน์จากขั้นตอนวิธีกราฟ computationally เข้มข้น ดังนั้น หลังจากที่ผู้ใช้มีรูปแบบ , CP สุทธิชั้นประสิทธิภาพการประมวลผลเพิ่มเติมในการแคชข้อมูลเกี่ยวกับโครงสร้างและรูปแบบจึง ciently EF ให้ข้อมูลที่จําเป็นสําหรับจําลองบนพื้นฐานของรายการของการเปลี่ยนแปลงโดยผู้ใช้ CP สุทธิคลาสสร้างรายชื่อของสถานที่ทั้งหมดในรูปแบบ ( เช่น Java รายการอาร์เรย์ ) นอกจากนี้มันแคช Petri โครงสร้างเครือข่ายใน array คล้ายคลึงกับเมทริกซ์อุบัติการณ์กราฟโครงสร้างภายในจึงฆ่าโดยวิธี init ของคลาส CP สุทธิที่ควรจะเรียกว่าหลังจาก CP สุทธิวัตถุมีให้กับรายการของวัตถุที่เป็นตัวแทนของการเปลี่ยนแปลง tcpn . เสนอโซลูชั่นให้กระทบความต้องการด้านประสิทธิภาพการเข้าถึงด้านต่าง ๆของรุ่น tcpn ในขณะที่จำลองกับต้องตรวจสอบความสอดคล้องระหว่างภาพที่แตกต่างกันเห็นได้ชัดว่าโครงสร้างของ Petri net ไม่สามารถเปลี่ยนแปลงได้หลังจากโทรไป
initmethod .