· Instantiation: The initial state

· Instantiation: The initial state can be chosen by the information given here. Take the
HallButtonControl as an example, the Instantiation is “All HallCalls are false at

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

· Instantiation: สามารถมีเลือกสถานะเริ่มต้น โดยข้อมูล ใช้เวลาการ HallButtonControl เป็นตัวอย่าง Instantiation การเป็น "HallCalls ทั้งหมดเป็นเท็จที่

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

· Instantiation: สถานะเริ่มต้นสามารถเลือกโดยข้อมูลที่ให้มาที่นี่ ใช้
HallButtonControl เป็นตัวอย่าง Instantiation คือ "HallCalls ทั้งหมดที่เป็นเท็จ

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

ด้วยการสร้างกรณีตัวอย่าง : รัฐเริ่มต้นสามารถเลือกจากข้อมูลที่ให้มา เอา
hallbuttoncontrol ตามตัวอย่าง , instantiation " ทั้งหมด hallcalls เป็นเท็จที่