Simulation of TCPN consists on subt

Simulation of TCPN consists on subtracting and adding tokens from and to the markings of Petri net places, therefore proper implementation of marking is crucial for efficiency of the simulator. The structure used for implementation of marking must enable efficient search and verification of existence of tokens of known values. In case of Jensen’s timed nets the structure should also enable efficient consideration of token times tamps. As stated in [8] the marking can be a composite structure consisting of more than one data structures holding tokens and of consistent interface allowing to operate on the marking as a whole and designed for Petri net simulator. The implementation corresponding to the above mentioned requirements is placed in Basic Marking class. During simulation of a timed net at the given moment only these tokens from a marking are important, that have times tamps not greater than current simulation time. Therefore, conforming to the solution described by Mortensen et al. in [8], we decided to divide tokens in a marking into two separate structures. The tokens, that can be used in current firing of a transition (i.e. with times tamps not greater than current simulation time) are stored in active Tokens field. The tokens
with times tamps indicating that they can be used later are placed in waiting Tokens field. These fields refer to objects of different classes, implementing different data structures. The active Tokens data structure is an implementation of hash table with support for storing multiple values for a single key. The hash function in this structure uses token values as keys. Thus tokens with given values can be found efficiently while firing a transition, this being a key of efficient TCPN simulation. When simulation clock is advanced selected tokens from wating Tokens in each place must be moved to the active Tokens structure. To perform this operation efficiently, the waiting Tokens structure is a priority queue sorted by tokens times tamps (Token Comparator class is responsible for proper comparison of the tokens in the queue). The Basic Marking class implements I Marking interface and the Basic Marking can be easily substituted by different implementation of marking implementing the same interface, which ensures all required methods are provided by the implementation. Each marking must implement get Distinct Tokens returning list of tokens from the marking used to generate bindings while simulation. Boolean method contains Token allows to verify if the given token exists in the marking. Method get Token removes from the marking a token holding given value and returns this token. Methods put Token and put Tokens enable adding tokens to the marking. During simulation get Next Time method is used to determine the least value of the clock that would release new tokens from waiting Tokens to active Tokens in this marking. Finally, set Time method is called while each change of simulation clock

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

จำลองของ TCPN ประกอบด้วยการลบ และการเพิ่มสัญญาณจาก และร่องรอยของ Petri สุทธิ ดังนั้น ใช้งานที่เหมาะสมของเครื่องเป็นสำคัญสำหรับ efficiency ของการจำลอง โครงสร้างที่ใช้สำหรับการใช้งานของเครื่องต้องเปิดใช้งานการค้นหา efficient และ verification ของการดำรงอยู่ของโทเค็นของค่าที่ทราบ ในกรณีของเจนมุ้งเวลายังจะให้โครงสร้าง พิจารณา efficient ของโทเค็น tamps ตามที่ระบุไว้ใน [8] ทำเครื่องหมายได้โครงสร้างคอมโพสิตประกอบด้วยโครงสร้างข้อมูลหนึ่งถือโทเคนมากกว่า และอินเทอร์เฟซสอดคล้องกันช่วยให้การใช้งานบนเครื่องทั้งหมด และออกแบบสำหรับจำลองสุทธิ Petri ดำเนินงานที่สอดคล้องกับความต้องการดังกล่าวข้างต้นอยู่ในระดับที่ทำเครื่องหมายพื้นฐาน ในระหว่างการจำลองเวลาสุทธิที่ช่วงเวลาที่กำหนดเท่านี้สัญญาณจากเครื่องที่มีความสำคัญ มีเวลา tamps ไม่มากกว่าเวลาจำลองสถานการณ์ปัจจุบัน ดังนั้น สอดคล้องกับการแก้ปัญหาที่อธิบายไว้โดย al. et มอร์เทนเซนใน [8], เราตัดสินใจที่จะแบ่งสัญญาณในการทำเครื่องหมายลงในโครงสร้างที่แยกต่างหากสอง สัญญาณ ที่สามารถใช้ใน firing ปัจจุบันของช่วงการเปลี่ยนภาพ (เช่นเวลา tamps ไม่มากกว่าปัจจุบันจำลองเวลา) เก็บไว้ใน field สัญญาณใช้งาน โทเคนเวลา tamps บ่งชี้ว่า พวกเขาสามารถใช้ในภายหลังอยู่ในการรอคอยสัญญาณ field fields เหล่านี้หมายถึงวัตถุประเภทต่าง ๆ การใช้โครงสร้างข้อมูลที่แตกต่างกัน โครงสร้างข้อมูลเป็นการนำไปใช้ของตารางแฮชมีสัญญาณใช้งานสนับสนุนสำหรับเก็บค่าหลายค่าสำหรับคีย์เดียว ฟังก์ชันแฮชในโครงสร้างนี้ใช้ค่าโทเคนเป็นคีย์ ดังนั้น โทเคนให้ค่าสามารถพบ efficiently ในขณะที่ firing เปลี่ยน นี้เป็นคีย์ของการจำลอง TCPN efficient เมื่อนาฬิกาจำลองเป็นขั้นสูงเลือกสัญญาณจาก wating ต้องย้ายสัญญาณในแต่ละโครงสร้างสัญญาณใช้งาน ทำ efficiently นี้การดำเนินการ tamps รอเป็นคิวลำดับความสำคัญเรียงลำดับตามเวลาที่สัญญาณของโทเคน (Token Comparator ชั้นรับผิดชอบเหมาะสมเปรียบเทียบสัญญาณในคิว) มีการทำเครื่องหมายพื้นฐานกำลังฉันเครื่องอินเตอร์เฟซและการทำเครื่องหมายพื้นฐานสามารถใช้ง่ายทดแทน โดยดำเนินการต่าง ๆ ของเครื่องเดียวกันอินเตอร์เฟซ ที่จำเป็นทั้งหมดวิธีใช้ โดยใช้ แต่ละเครื่องต้องใช้รับสัญญาณที่แตกต่างกลับรายการของสัญญาณจากเครื่องที่ใช้ในการสร้างรวมขณะจำลอง วิธีบูประกอบด้วยโทเค็นอนุญาตให้ตรวจสอบถ้า โทเค็นการกำหนดในการทำเครื่องหมาย วิธีได้รับโทเคนเอาออกจากเครื่องถือโทเคนที่รับค่า และส่งกลับค่าโทเคนนี้ วิธีใส่ Token และใส่เพิ่มสัญญาณให้ทำเครื่องหมายเปิดใช้งานสัญญาณ ในระหว่างการจำลองรับครั้งถัดไปที่ใช้วิธีการกำหนดค่าน้อยที่สุดของนาฬิกาที่จะปล่อยสัญญาณใหม่จากรอโทเคนให้เป็นโทเคนที่ใช้งานอยู่ในเครื่องนี้ สุดท้าย เรียกวิธีการเวลาตั้งค่าในขณะที่การเปลี่ยนแปลงของนาฬิกาจำลอง

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

การจำลองการ TCPN ประกอบด้วยในการลบและการเพิ่มสัญญาณจากและเครื่องหมายของสถานที่สุทธิ Petri การดำเนินงานที่เหมาะสมของการทำเครื่องหมายดังนั้นจึงเป็นสิ่งสำคัญสำหรับประสิทธิภาพใน EF ไฟของจำลอง โครงสร้างที่ใช้ในการดำเนินงานของการทำเครื่องหมายต้องเปิดใช้งานการค้นหาเพียงพอไฟ EF และไอออนบวกไฟ Veri ของการดำรงอยู่ของสัญญาณของค่าที่รู้จักกัน ในกรณีของการเซ่นตาข่ายหมดเวลาโครงสร้างยังจะช่วยให้การพิจารณาเพียงพอไฟ EF ครั้ง token tamps ตามที่ระบุใน [8] เครื่องหมายสามารถเป็นโครงสร้างที่ประกอบประกอบด้วยมากกว่าหนึ่งโครงสร้างข้อมูลการถือครองและสัญญาณของอินเตอร์เฟซที่สอดคล้องกันช่วยให้การดำเนินการเกี่ยวกับการทำเครื่องหมายโดยรวมและการออกแบบสำหรับการจำลอง Petri สุทธิ การดำเนินงานที่สอดคล้องกับความต้องการดังกล่าวข้างต้นจะอยู่ในระดับพื้นฐานการทำเครื่องหมาย ในระหว่างการจำลองสุทธิหมดเวลาในขณะที่กำหนดเท่านั้นสัญญาณเหล่านี้จากการทำเครื่องหมายที่มีความสำคัญที่มีเวลา tamps ไม่เกินเวลาจำลองปัจจุบัน ดังนั้นวิธีการแก้ปัญหาที่สอดคล้องกับการอธิบายโดย et al, มอร์เทน ใน [8] เราตัดสินใจที่จะแบ่งสัญญาณในการทำเครื่องหมายลงในสองโครงสร้างที่แยกต่างหาก สัญญาณที่สามารถนำมาใช้ในแหวนไฟปัจจุบันของการเปลี่ยนแปลง (เช่นกับเวลา tamps ไม่เกินเวลาจำลองปัจจุบัน) จะถูกเก็บไว้ในการใช้งานภาคสนามราชสกุล สัญญาณ
กับเวลา tamps แสดงให้เห็นว่าพวกเขาสามารถนำมาใช้จะอยู่ในการรอคอยสัญญาณภาคสนาม elds ไฟเหล่านี้หมายถึงวัตถุของการเรียนที่แตกต่างกัน, การใช้โครงสร้างข้อมูลที่แตกต่างกัน โครงสร้างข้อมูลที่ใช้งานสัญญาณคือการดำเนินการของตารางแฮชด้วยการสนับสนุนสำหรับการจัดเก็บค่าหลายปุ่มเดียว ฟังก์ชันแฮชในโครงสร้างนี้ใช้ค่าโทเค็นเป็นกุญแจ ดังนั้นสัญญาณที่มีค่าที่กำหนดสามารถพบไฟ EF ciently ในขณะที่การเปลี่ยนแปลงแหวนสายนี้เป็นสายสำคัญของ EF จำลองเพียงพอ TCPN เมื่อนาฬิกาจำลองเป็นสัญญาณที่เลือกขั้นสูงจาก wating สัญญาณในสถานที่แต่ละคนจะต้องย้ายไปใช้งานโครงสร้างสัญญาณ เพื่อดำเนินการ EF ciently สายนี้รอสัญญาณโครงสร้างเป็นคิวลำดับความสำคัญเรียงตามเวลาที่สัญญาณ tamps (Token เปรียบเทียบระดับเป็นผู้รับผิดชอบสำหรับการเปรียบเทียบที่เหมาะสมของสัญญาณในคิว) ระดับพื้นฐานการทำเครื่องหมายดำเนิน interface ฉันเครื่องหมายและพื้นฐานการทำเครื่องหมายสามารถทดแทนได้อย่างง่ายดายโดยการดำเนินการที่แตกต่างกันของการทำเครื่องหมายการใช้อินเตอร์เฟซเดียวกันซึ่งทำให้วิธีการที่จำเป็นทั้งหมดที่ให้บริการโดยการดำเนินการ แต่ละคนจะต้องดำเนินการทำเครื่องหมายได้รับสัญญาณที่แตกต่างกลับรายการของสัญญาณจากเครื่องหมายที่ใช้ในการสร้างแบบจำลองในขณะที่ผูก วิธีการแบบบูลมี Token จะช่วยให้การตรวจสอบว่าได้รับโทเค็นที่มีอยู่ในการทำเครื่องหมาย วิธีการได้รับ Token ลบจากการทำเครื่องหมายสัญลักษณ์การถือครองค่าที่กำหนดและผลตอบแทนในทำนองนี้ วิธีการใส่ Token และนำสัญญาณเปิดใช้งานการเพิ่มสัญญาณที่จะทำเครื่องหมาย ระหว่างการจำลองวิธีการรับถัดไปเวลาที่ใช้ในการกำหนดค่าที่น้อยที่สุดของเวลาที่จะปล่อยสัญญาณใหม่จากการรอสัญญาณสัญญาณการใช้งานในการทำเครื่องหมายนี้ สุดท้ายคือการกำหนดวิธีการที่เรียกว่าเวลาในขณะที่การเปลี่ยนแปลงแต่ละนาฬิกาจำลอง

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

การจำลอง tcpn ประกอบในการลบและการเพิ่มสัญญาณและสัญลักษณ์ของสถานที่ เพทริเน็ต ดังนั้นการใช้เครื่องหมายที่เหมาะสมเป็นสิ่งสำคัญสำหรับ EF ถ่ายทอดประสิทธิภาพของเครื่องยนต์ โครงสร้างที่ใช้สำหรับการทำเครื่องหมายต้องใช้ EF จึง cient ค้นหาและการถ่ายทอดข้อมูลของการดำรงอยู่ของโทเค็นคุณค่าจักในกรณีของเจนเซ่นหมดเวลาแหโครงสร้างควรใช้ EF จึงพิจารณา cient ของโทเค็นครั้ง tamps . ตามที่ระบุไว้ใน [ 8 ] เครื่องหมายสามารถโครงสร้างคอมโพสิตที่ประกอบด้วยมากกว่าหนึ่งข้อมูลโครงสร้างการจับสัญญาณและอินเตอร์เฟซที่สอดคล้องกันเพื่อให้ใช้งานบนเครื่องโดยรวมและการออกแบบสำหรับ Petri net Simulatorการดำเนินงานที่สอดคล้องกับความต้องการดังกล่าว อยู่ในเครื่องหมาย ระดับพื้นฐาน ระหว่างการจำลองเวลาสุทธิในช่วงเวลาเพียงสัญญาณจากเครื่องหมายสำคัญได้ครั้ง tamps ไม่เกินเวลา การจำลองสถานการณ์ปัจจุบัน จึงสอดคล้องกับการแก้ปัญหาที่อธิบายโดย Mortensen et al . [ 8 ]เราตัดสินใจที่จะแบ่งสัญญาณในเครื่องหมายเป็นโครงสร้างที่แยกสอง สัญญาณที่สามารถใช้ในแหวนจึงปัจจุบันของการเปลี่ยนแปลง ( เช่น กับครั้ง tamps ไม่เกินเวลาจำลองปัจจุบัน ) จะถูกเก็บไว้ใน Active สัญญาณถ่ายทอดละมั่ง . สัญญาณ
ครั้ง tamps ระบุว่าพวกเขาสามารถใช้ในภายหลังจะถูกวางไว้ในการรอคอยสัญญาณถ่ายทอดละมั่ง . elds จึงเหล่านี้อ้างถึงวัตถุของคลาสที่แตกต่างกันการใช้โครงสร้างข้อมูลที่แตกต่างกัน โครงสร้างข้อมูลที่ใช้โทเค็นเป็นการใช้งานของตารางแฮชด้วยการสนับสนุนสำหรับการจัดเก็บค่าหลายค่าสำหรับคีย์เดียว กัญชาฟังก์ชันในโครงสร้างนี้ใช้ค่าเหรียญเป็นกุญแจ ดังนั้น สัญญาณให้กับค่าสามารถพบตัวจึง ciently ในขณะที่แหวนจึงเปลี่ยนเป็น นี่เป็นหลักของ EF จึง cient tcpn จำลองเมื่อนาฬิกาจำลองเป็นขั้นสูงเลือกสัญญาณจาก wating สัญญาณในแต่ละสถานที่จะต้องย้ายไปอยู่ที่โครงสร้างของสัญญาณที่ใช้งานอยู่ แสดงงาน EF นี้จึง ciently , รอสัญญาณโครงสร้างคือแถวคอยลำดับความสำคัญเรียงโดยโทเคน ( Token ครั้ง tamps เปรียบเทียบชั้นรับผิดชอบในการเปรียบเทียบที่เหมาะสมของสัญญาณในคิว )เรียนการใช้อินเตอร์เฟซพื้นฐานผมเครื่องหมายและเครื่องหมายขั้นพื้นฐานได้อย่างง่ายดายโดยการใช้แตกต่างกันของเครื่องหมายการใช้อินเตอร์เฟซเดียวกัน ซึ่งช่วยให้วิธีการที่จำเป็นทั้งหมดไว้ โดยใช้ แต่ละเครื่องต้องใช้รับสัญญาณที่แตกต่างกันกลับรายการของสัญญาณจากเครื่องหมายที่ใช้ในการสร้างรวมในขณะที่จำลองตรรกะวิธีประกอบด้วยโทเค็นสามารถตรวจสอบหากได้รับสัญญาณอยู่ในเครื่องหมาย วิธีการได้รับสัญญาณลบจากเครื่องหมายสัญลักษณ์ถือให้มูลค่าและผลตอบแทน เหรียญนี้ วิธีใส่เหรียญ และใส่บัตรช่วยเพิ่มสัญญาณให้เครื่องหมายในการจำลองได้คราวหน้าจะใช้วิธีหาค่าน้อยที่สุดของนาฬิกาที่จะปล่อยสัญญาณใหม่จากการรอคอยสัญญาณการใช้งานสัญญาณในเครื่องหมายนี้ สุดท้ายตั้งค่าวิธีเวลา เรียกว่า ในขณะที่แต่ละการเปลี่ยนแปลงของนาฬิกาจำลอง