变迁标记菜单
CPN Tools help
Marking menu tools
变迁标记菜单
:
包含以下选项:
复制元素Clone Element
创建弧Create Arc
删除元素Delete Element
触发变迁 (
单步
Single Step
)
加入组Toggle Group
撤销Undo
重做Redo