Uppaal Programming
RPE最后一个Presentation就在月底，1月26日，到时我提交系统的模拟结果。最近一段时间忙着编程，看Uppaal已有些时日了，也看过一些编程的例子（都是很简单模拟），但没有在上面写过程序。Uppaal使用的语言有点像C语言，但Uppaal的功能不是很强，它的编程语言也有不少限制。对于要模拟的系统，我已经把它的伪代码写完了。根据Uppaal的情况，已经搞清如何把系统移植到Uppaal上，需要建多少自动机，自动机之间如何协调等，并且在草稿纸上根据构思好的函数和变量等构建好了这些自动机。这些天的工作，就是编程，按着脑子里的系统模型和画好的自动机在Uppaal上实现。刚开始使用Uppaal编程，免不了一些问题，但都解决了，一切还算顺利。时间有点紧，希望能提前十天完成任务（还有五天时间），这样才有足够的时间写report，准备PPT。
学长 ,你好 ,我目前也在学习UPPAAL,请问能发一些有关的资料给我吗?
哈 ,我也是Nupt CS的,比学长小一届
@Nupta 我的Uppaal资料就是从Uppaal官方网站下载的，没有其他的了。
@nanyo
学长，有没有什么联系方式啊，想和你交流一下~LOL
@Nupta email: zhuhuang.zp@gmail.com
@nanyo
以后这个电子邮件地址要注意下，AT什么的处理下。我的电邮被人收集去了，天天被骚扰，一天换一个地址，一天好几封广告，根本拿它没办法。最后只能设置白名单了。:-(
@Johnny 用gmail吧，网易的邮箱尽出垃圾邮件。