求帮助啊 大学生毕业设计是用UPPAAL 做一个算法但是完全没接触过时间自动机啊

老师一定要我们做设计的东西 网上有现成的的图 但是 UPPAAL里面线条上的EDGE 编辑选项里面的select guard sync UPDATE 有什么区别啊 UPPAAL的教程很少 而且都是英语的
网上的就找的这一篇http://www.cnblogs.com/bitzhuwei/archive/2013/03/26/timed_automata_semantics_algorithms_and_tools.html
请NB的程序猿帮一下啊

现在只知道时间自动机的概念 和可以看懂图形 和整个流程 知道满足条件就进入下一个状态 毕业设计 UPPAAL 时间自动机 自动机

补充：Java ,  Java SE