网络编辑
How-to


相关页面

添加/编辑声明Add/edit declarationsAdd/edit 添加/编辑标注inscriptions, 语法检测Syntax checking, 标注Inscriptions

创建库所、变迁、弧

你能通过标记菜单Marking menus, 板Palettes工具窗Toolglasses在网络的页面上创建库所、变迁和弧。首先从索引中拖一个页面出来。

标记菜单

在页面中长按鼠标右键打开页面标记菜单Page marking menu即可创建库所或变迁。如果你不太清楚如何使用标记菜单,可参看标记菜单Marking menus页面。

Page Marking Menu

现在可以选择New Transition新库所New Place

如果需要创建弧,可在作为起点的库所或变迁上按着鼠标右键就会出现库所标记菜单Place marking menu变迁标记菜单Transition marking menu

Node Marking Menu

选择New Arc创建新弧。弧就会依附在光标上,然后把它拖到终点的库所或变迁上。点击背景就产生转折点,点击变迁或库所则完成弧的创建。你也可以以后通过拖动弧来增加转折点。

弧必须从库所到变迁或从变迁到库所。现在,你不能中断弧的创建,你必须完成他。如果你没有终节点,可以通过页面标记菜单来创建它。

面板

使用创建工具Create tools面板来创建变迁、库所或弧。如果你不太清楚如何使用面板,可参看面板Palettes页面。

Create Tools

选择需要的组件来创建变迁: Create Transition, 库所: Create Place 或弧: Create Arc

在你需要创建组件的地方左击鼠标。

在创建弧的过程中,你可以点击背景来生成转折点,就像使用标记菜单一样。如果你想取消一条弧,可以在再次点击选中弧工具的那个面板元素。也可以打开工作区标记菜单Workspace marking menu,然后选择结束工具的的条目。

工具板

你可以像使用工具窗Toolglasses一样的方式使用创建工具Create tools: 选中它,然后在你需要的地方点击该工具。