Abstract—This paper presents object

Abstract—This paper presents object-oriented design of library meant for modeling and simulating Timed Colored Petri Net models. The approach is prepared to integrate TCPN models with crucial parts of larger applications implemented in objectoriented languages. The formal models can be tightly joined with applications allowing the latter to interpret states of the formal model in their domain of responsibility. This approach allows less error-prone and more pervasive use of formal methods to improve quality of software created with imperative languages. Index Terms—Petri nets, simulation, object-oriented, integration.

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

นามธรรมซึ่งเอกสารนี้แสดงออกเชิงวัตถุไลบรารีสำหรับสร้างแบบจำลอง และการจำลองแบบจำลองเวลา Petri สุทธิสี วิธีการเตรียมรวมรุ่น TCPN กับส่วนสำคัญของโปรแกรมประยุกต์ขนาดใหญ่ที่นำมาใช้ในภาษา objectoriented แบบจำลองทางสามารถจะร่วมกับโปรแกรมประยุกต์ให้หลังเพื่อตีความสถานะของรูปแบบเป็นทางการในโดเมนของตนความรับผิดชอบอย่างใกล้ชิด วิธีการนี้ใช้น้อย มักผิดพลาด และชุมชนที่แพร่หลายมากขึ้นเป็นวิธีการปรับปรุงคุณภาพของซอฟต์แวร์ที่สร้างขึ้น ด้วยภาษาความจำเป็นได้ คำดัชนี — สุทธิ Petri จำลอง เชิงวัตถุ รวม

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

บทคัดย่อกระดาษนี้นำเสนอการออกแบบเชิงวัตถุห้องสมุดหมายสำหรับการสร้างแบบจำลองและการจำลองการตั้งเวลาสีโลรุ่นสุทธิ วิธีการจัดทำขึ้นเพื่อบูรณาการรุ่น TCPN กับชิ้นส่วนที่สำคัญของการใช้งานที่มีขนาดใหญ่นำมาใช้ในภาษา objectoriented รุ่นอย่างเป็นทางการสามารถเข้าร่วมแน่นกับการใช้งานที่ช่วยให้หลังการตีความของสหรัฐฯอย่างเป็นทางการในรูปแบบโดเมนของความรับผิดชอบ วิธีการนี​​้จะช่วยให้น้อยผิดพลาดได้ง่ายและการใช้งานที่แพร่หลายมากขึ้นของวิธีการทางการในการปรับปรุงคุณภาพของซอฟต์แวร์ที่สร้างขึ้นด้วยภาษาที่จำเป็น มุ้งดัชนีข้อตกลง-Petri จำลองเชิงวัตถุบูรณาการ

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

บทคัดย่อบทความนี้เสนอการออกแบบเชิงวัตถุห้องสมุดมีความหมายสำหรับการสร้างแบบจำลองและจำลองหมดเวลาทดลองสีรุ่นสุทธิ วิธีการเตรียมที่จะรวมแบบ tcpn กับชิ้นส่วนที่สำคัญของโปรแกรมที่มีขนาดใหญ่ใช้ในเจ็คโ รียลเท็ดภาษารุ่นอย่างเป็นทางการสามารถเข้าร่วมกับโปรแกรมให้แน่นหลังตีความรัฐของรุ่นอย่างเป็นทางการใน โดเมน ของงานที่รับผิดชอบ วิธีการนี้จะช่วยให้ข้อผิดพลาดน้อยคว่ำ และใช้แพร่หลายมากขึ้นของวิธีการอย่างเป็นทางการเพื่อปรับปรุงคุณภาพของซอฟต์แวร์ที่สร้างขึ้นด้วยภาษา ขวาง ด้านดัชนีทฤษฎีเพทริเน็ต , การจำลอง , การรวมเชิงวัตถุ .