Wardana [14] defines timed automati

Wardana [14] defines timed automation as a 4 typle A = (L; l0;E; I) where: L is a finite set of locations, l0 2 L is an initial location, E is a finite set of edges, I : L ! C is a set of mappings of invariants to location, including timing information as clock constraints and synchronization actions for interaction purposes among several timed automata, a so called time automata network.

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

Wardana [14] กำหนดระบบเวลาเป็นแบบ = typle A 4 (L; l0E ค่ะที่: L เป็นชุดจำกัดตำแหน่ง l0 2 L เป็นตำแหน่งที่เริ่มต้น ชุดจำกัดขอบ เป็นฉัน: L C คือ ชุดของการแม็ป invariants ตั้ง รวมถึงข้อมูลเวลาตามนาฬิกาข้อจำกัด และการดำเนินการซิงโครไนส์สำหรับการโต้ตอบระหว่างหลายเวลาโกเบ เครือข่ายสิ่งที่เรียกว่าเวลาออโตมาตา

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

Wardana [14] กำหนดอัตโนมัติหมดเวลาเป็น 4 Typle = (L; l0; E; I) ที่อยู่: L เป็นชุด จำกัด ของสถ​​านที่ l0 2 ลิตรเป็นสถานที่เริ่มต้น E เป็นชุด จำกัด ของขอบผม: L! C คือชุดของการแมปของค่าคงที่ไปยังสถานที่รวมถึงข้อมูลเวลาเป็นนาฬิกาข้อ จำกัด และการกระทำเพื่อวัตถุประสงค์ในการประสานการทำงานร่วมกันในหลายออโตหมดเวลาที่เรียกว่าเครือข่ายออโตเวลา

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

wardana [ 14 ] กำหนดเวลาอัตโนมัติ 4 typle = ( l ; l0 ; E ; I ) ที่ 1 เป็นชุดจำกัดของสถานที่ 2 l0 L เป็นสถานที่ที่เริ่มต้น , E คือชุดจำกัดของขอบผม : L ! C คือชุดของการแมปของผลยืนยง ที่ตั้ง รวมทั้งข้อมูลเวลาเป็นข้อจำกัดนาฬิกาและการกระทำการปฏิสัมพันธ์ระหว่างหลายเวลามีจำกัดจึงเรียกว่าเวลา จำกัด , เครือข่าย