There is great variety of Petri net

There is great variety of Petri net flavors and there is also great variety of computer tools designed to create and analyze Petri net models. An extensive list is maintained e.g. by University of Hamburg1. For Jensen’s Timed Colored Petri Nets there are two important software packages: Design/CPN [3] and newer, rewritten in Java: CPN Tools [7], [10]. Both of them have GUI to create Petri net models and both implement algorithms enabling simulation and formal analysis. Also both tools provide interfaces for external communication, that allow various levels of integration using various programming languages.

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

มีหลากหลาย flavors สุทธิ Petri และยังมีเครื่องมือคอมพิวเตอร์ที่ออกแบบมาเพื่อสร้าง และวิเคราะห์แบบจำลองสุทธิ Petri หลากหลาย การรักษาเช่นจากมหาวิทยาลัย Hamburg1 สำหรับของเจนเวลาสี Petri มุ้งมีเป็นแพคเกจซอฟต์แวร์สำคัญสอง: CPN ออก [3] และใหม่ จิตใน Java: เครื่องมือกำกับ [7], [10] ทั้งสองอย่างมี GUI เพื่อสร้างแบบจำลองสุทธิ Petri และทั้งใช้อัลกอริทึมในการเปิดใช้งานการจำลองและวิเคราะห์อย่างเป็นทางการ ยัง มือทั้งสองให้อินเทอร์เฟซสำหรับการสื่อสารภายนอก ที่ทำให้ระดับต่าง ๆ ของการรวมที่ใช้เขียนโปรแกรมภาษาต่าง ๆ

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

มีความหลากหลายที่ดีของ avors ชั้น Petri สุทธิและยังมีความหลากหลายของเครื่องมือคอมพิวเตอร์ที่ออกแบบมาเพื่อสร้างแบบจำลองและวิเคราะห์ Petri สุทธิ รายการที่กว้างขวางจะยังคงอยู่เช่นโดยมหาวิทยาลัย Hamburg1 สำหรับเซ่นตั้งเวลาสีโลตาข่ายมีสองแพคเกจซอฟต์แวร์ที่สำคัญ: การออกแบบ / CPN [3] และใหม่กว่าที่เขียนใน Java: CPN เครื่องมือ [7] [10] ทั้งสองของพวกเขามี GUI เพื่อสร้างแบบจำลองสุทธิ Petri และทั้งสองดำเนินการตามขั้นตอนวิธีการเปิดใช้งานการจำลองและการวิเคราะห์อย่างเป็นทางการ ทั้งยังมีเครื่องมือให้อินเตอร์เฟซสำหรับการสื่อสารภายนอกที่ช่วยให้ระดับต่างๆของการบูรณาการใช้ภาษาการเขียนโปรแกรมต่างๆ

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

มีความหลากหลายที่ดีของการเพาะเลี้ยงflสุทธิ avors และยังมีความหลากหลายที่ดีของเครื่องมือคอมพิวเตอร์ที่ออกแบบมาเพื่อสร้างและวิเคราะห์แบบจำลองเพทริเน็ต รายการที่กว้างขวางเป็นรักษาเช่นโดย hamburg1 3 สำหรับเจนเซ่นหมดสีทฤษฎีเพทริเน็ตมี 2 แพคเกจซอฟต์แวร์สำคัญ : การออกแบบ / CPN [ 3 ] และใหม่ เขียนใหม่ใน Java : CPN เครื่องมือ [ 7 ] , [ 10 ]ทั้งสองของพวกเขามี GUI เพื่อสร้างแบบจำลองเพทริสุทธิและทั้งสองใช้อัลกอริทึมสำหรับการจำลองและวิเคราะห์อย่างเป็นทางการ ทั้งเครื่องมือที่ช่วยให้การเชื่อมต่อเพื่อการสื่อสารภายนอกที่ช่วยให้ระดับต่างๆของการบูรณาการการใช้การเขียนโปรแกรมภาษาต่างๆ