TImed Colored Petri Net (TCPN) is a

TImed Colored Petri Net (TCPN) is a flavor of Petri Net formalism designed by K. Jensen [6]. It is suitable for modeling and analysis of distributed and concurrent systems. Since in Colored Petri Nets (CPN) tokens can carry values (colors) of specified types (colorsets) models created using CPN are more compact and thus more clear. Consequently, CPN can be conveniently used to analyze large systems. Time extension of Timed Colored Petri Net enables analysis of time relationships e.g. efficiency.

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

เวลาสี Petri สุทธิ (TCPN) เป็น flavor ของ formalism Petri สุทธิที่ออกแบบ โดยคุณเจน [6] เหมาะสำหรับสร้างแบบจำลองและวิเคราะห์ระบบกระจาย และเกิดขึ้นพร้อมกัน เนื่องจากใน สี Petri มุ้ง (CPN) โทเคนสามารถนำค่า (สี) รุ่น specified ชนิด (colorsets) สร้าง ใช้กำกับกระชับ และชัดเจนมากขึ้นดังนั้น ดังนั้น CPN สามารถเชิญใช้วิเคราะห์ระบบขนาดใหญ่ การขยายระยะเวลาของเวลา Petri สุทธิสีช่วยให้การวิเคราะห์ความสัมพันธ์ของเวลาเช่น efficiency

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

หมดเวลา Petri สุทธิสี (TCPN) เป็นชั้นของ Avor โลพิธีสุทธิออกแบบโดยเคเซ่น [6] มันเหมาะสำหรับการสร้างแบบจำลองและการวิเคราะห์ระบบการกระจายและเกิดขึ้นพร้อมกัน เนื่องจากในตาข่ายสีโล (มหาชน) สัญญาณสามารถดำเนินการค่า (สี) ประเภทเอ็ดสาย speci (colorsets) รุ่นที่สร้างขึ้นโดยใช้ CPN มีขนาดกะทัดรัดและชัดเจนมากขึ้น ดังนั้น CPN จะนำไปใช้ในการวิเคราะห์ระบบขนาดใหญ่ ขยายเวลาของการตั้งเวลาสีโลสุทธิช่วยให้การวิเคราะห์ความสัมพันธ์ของเวลาเช่นประสิทธิภาพในสาย EF

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

หมดเวลาทดลองสีสุทธิ ( tcpn ) เป็น avor flออกแบบโดย K . เจนเซ่น [ 6 ] ทดลองแบบสุทธิ มันเหมาะสำหรับการสร้างแบบจำลองและการวิเคราะห์การกระจายและระบบพร้อมกัน ตั้งแต่สีทฤษฎีเพทริเน็ต ( CPN ) สัญญาณสามารถแบกค่า ( สี ) ของกาจึงเอ็ดประเภท ( colorsets ) แบบจำลองที่สร้างขึ้นโดยใช้ CPN จะกระชับมากขึ้นและชัดเจนมากขึ้น จากนั้นCPN สามารถสะดวกใช้วิเคราะห์ระบบขนาดใหญ่ เวลาขยายเวลาทดลองสีสุทธิช่วยให้การวิเคราะห์ความสัมพันธ์ของเวลาเช่น EF จึงประสิทธิภาพ .