Verification of a primary-to-second

Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets

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

ตรวจสอบหลักรองรั่วความปลอดภัยกระบวนงานในโรงงานไฟฟ้านิวเคลียร์ที่ใช้สี Petri สุทธิ

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

การตรวจสอบขั้นตอนการรั่วหลักความปลอดภัยต่อรองในโรงไฟฟ้​​านิวเคลียร์โดยใช้ตาข่ายสีโล

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

การตรวจสอบของประถมถึงมัธยมรั่วขั้นตอนความปลอดภัยในโรงไฟฟ้าพลังนิวเคลียร์ที่ใช้สีทฤษฎีเพทริเน็ต