uppaal结构体赋初值

uppaal 建模时，使用的语言（是C subset）在结构体赋初值，特别是结构体中含有数组成员是，最后一个逗号最好是不要多写。因为有些时候可能会出错。图中，红色的框框处。

转载于:https://blog.51cto.com/4563839/1729776