相关页面

增加注入式

在你想要增加注入式的地方单击库所/变迁/弧，这可以激活你单击对象的文本编辑模式。

如果你正选中了某项工具，用长击来激活文本编辑模式并增加注入式。

刚刚建立一库所/变迁/弧后是处于文本编辑模式，你可以立刻增加初始注入式。

编辑注入式

只需要简单地单击就可以编辑注入式。如果你正选中了某一工具，用长击（long click）。可以在编辑文本（edit text）中看到更多关于如何编辑文本。

当你完成了编辑一个注入式，你可以用TAB键进入下一个注入式。

对于库所，用TAB键的注入式顺序是：名字，类型/颜色集，初始标识。对于变迁，顺序是：名字，警卫函数，时间延迟，代码段（code segment)。弧只有一个注入式。

注意：当你改变或增加了一个初始标识，你需要用仿真工具(Simulation tools)中的倒退工具来看下标识的令牌变化或出现.如果你想改变目前标识而不重新仿真，看库所注入式(Place Inscriptions)。