timed transition Petri net 加时Petri网
timed symbolic transition graph 时间符号迁移图
timed labeled transition system 时间标号迁移系统
·2,447,543篇论文数据，部分数据来源于NoteExpress
The idea is to have the weather applet cycle though these 'screens' on a timed interval, fading in or some other effects to transition between screens.
主意就是让天气小程序能以一个规定的时间间隔通过这些“屏幕”自动更新循环。溶解或以其他效果在两张屏幕间过渡。
youdao
应用推荐
模块上移
模块下移
不移动