uppaal結構體賦初值

uppaal 建模時，使用的語言（是C subset）在結構體賦初值，特別是結構體中含有數組成員是，最後一個逗號最好是不要多寫。因爲有些時候可能會出錯。圖中，紅色的框框處。