初步学习CPN Tools软件
怎样使用CPN Tools软件 怎样 How-to


本页介绍了一些使用CPN Tools软件的基本知识。如果你以前从未使用过CPN Tools软件,本页是你起步学习的好地方。在主要帮助 main help页中,有关于CPN Tools方方面面更详细的信息。

如果你在启动CPN Tools工具或者安装它的时候碰到问题,可以参考硬件需求 hardware requirements页,或者将你的问题发送到我们的技术支持 technical support

界面

当你打开CPN工具时,首先映入你眼帘的是一个窗口,其中窗口的左边是索引部分,右边是工作区域。

CPN Tools window

如果你所见并非如此,而是一个灰色的或是绿色的窗口,或者根本什么也没有,那么问题可能就出在你的图形适配器上。请参照常见问题解答 FAQ以获取更详细的信息 。

一般情况下,有两个(或者更多)的游标出现在工具上,虽然这个工具的某些版本只有一个。如果你根本就没有看到游标,可能情况是你没有安装输入设备所需的驱动程序。请依据输入设备并参照硬件需求 hardware requirements获取更多的帮助信息。

每个游标都被它自己独立的输入设备所控制,比方说鼠标、书写笔或者轨迹球等。多个游标在同一时间可以被一个或多个用户所控制。下面,我们假定当前主要的输入设备是鼠标,并且是右手使用鼠标,同时使用“手”、“鼠标”、“游标”等词汇来进行描述。当然,这些交互操作同样适用于左手使用鼠标者,或者其他的两个按钮的输入设备。

开始使用CP-net进行工作,你可以选择载入一个已有的网络,或者重新创建一个新的网络。

网络的载入与创建

载入一个已有的网络时,将游标移动到工作区域或者索引区域的空白部分。按下鼠标右键并保持一定时间,此时将会出现一个圆形的菜单,即工作区标记菜单 workspace marking menu 。(请阅读标记菜单 Marking menus页以获取更多有关菜单的信息)

The workspace marking menu

保持鼠标按下的状态并将游标移动到菜单中的 Load Net部分。当游标移动到菜单某部分上面的时候,将会高亮度显示这部分。当高亮度显示菜单中的 Load Net部分时释放按钮。

Loading a net through the marking menu

此时,将出现一个文件对话框,从中选取你所有载入的网络。当你进行了选择并单击了OK键之后,对话框会消失,同时在CPN Tools工具窗口的左边索引区域将会出现一个网络。载入一个网络之后,以这个网络的名称作为索引的入口。

当然,你也可以通过下述方式来创建一个新的网络:启动工作区标记菜单 workspace marking menu ,从中选择 New Net

Creating a net through the marking menu

记住当你在标记菜单 marking menus中移动游标时保持你按下鼠标右键的状态。如果你释放按钮的时候标记菜单中没有高亮度显示部分,那么菜单将会消失并且不会调用任何命令。此时可以再次按下鼠标右键以启动菜单。

索引

索引区域位于CPN Tools窗口的左边部分。

The index

索引包括以下几部分:

索引区入口左边的蓝色三角形表示这个入口可以被打开从而显示更多有关这个入口的细节。单击三角形以打开和关闭索引区入口。

网络概览

索引区包含当前工具所打开的每个网络的入口。如果网络是从文件中载入的,那么索引区的网络入口将以该网络的名称来标识。如下图,名称为“hier.cpn”的网络就是被载入的。如果网络是新创建的,那么网络入口将以“New net.cpn”来标识。

在网络的网页上开始工作,索引区网络入口必须被打开。如果网络入口没有被打开,可以单击该处的三角形标识来打开它。

A net in the index

网络入口包含下述部分:

建议阅读更多有关怎样添加/修改 声明 add/edit declarations和有关仿真网络 simulating nets的知识。

可以通过索引到达网络中的所有页面。具备层次结构的网络也可以在索引中得到反映。子页的入口出现在父页的入口下面,当对应父页入口被打开之后,索引区中子页的入口将会显现出来。

Top page with subpages

打开“Top”页的入口显示它有四个子页:一个"Sender"页实例、一个"Network"页实例和两个"Receiver"页实例。

如果你是创建了一个新网而不是载入,那么网络下只有一个叫做“新页”的页面。这个页面是伴随着新网的创建而自动生成的而且为空。此时你就能够在这个页面上开始创建新的网对象。

New net with one empty page

打开页面

在网络中打开页面的方法:将游标移动到页面名称上,按下鼠标左键并将该页面名称拖动到工作区域。下图中的“Top”页面就是以这种方式被拖动到工作区域。如果你有一个新网,则可将“New Page”页拖动到工作区域并开始创建新网。

Dragging a page to the workspace Dragging the empty page to the workspace

释放鼠标按键,此时页面将出现在工作区域中。

A page in a binder Empty page in binder

如果你拖动的是一个空页,你可以在此页面上从事创建新对象等工作。具体可参考编辑网络 Edit the net以获得更多的知识。

多页面和组合体

各页面可以从索引区拖动到工作区并插入到一个或多个组合体中去。将页面插入到组合体中的方法为:在页面名称出现在特定组合体顶部可视区域时释放鼠标按钮即可。

Dropping a page in a binder

如果想将页面插入到一个新组合体中去时,需要把网从原组合体中拖出来

Dropping a page in a new binder

用户可以将几个页面放置在同一组合体中,也可以将同一页面放置在一个或多个组合体中。

Pages in binders

如果将一个页面从一个组合体移动到另外一个组合体,首先得在对应页面标签处按下鼠标左键,然后将其拖动到一个已有的组合体中去。你也可以用下述方法将它插入到新的组合体中去:从索引区将页面拖动出来,然后用同样的方法在工作区的某位置释放页面即可。

Dragging a page to another binder Dragging a page to a new binder

工具箱

诸如创建新的CPN网元素 creating new CP-net elements网络仿真 simulating nets改变线条颜色和宽度 changing line colors and line widths等工具都可以从索引区内工具箱中的特定工具板中而获得,或者通过在工作区内不同对象上所显示出来的不同标记菜单 marking menus而获得。

在到达工具板之前,先得打开索引区中工具箱的入口。

The index tool box

将工具板拖动到工作区的方法同拖动页面类似:将游标移动到名称上,按下鼠标左键并将该工具板拖动到工作区域,再释放。如同页面一样,工具板可以单个地或者一起放置在组合体中。

Tool palettes in a binder

建议从工具板 palettes工具镜 toolglasses中阅读更多有关它们是如何工作的这方面知识。也可以从工具板和工具镜 palettes and toolglasses处进行阅读。

从标记菜单中启动工具,首先得在对应对象上按下鼠标右键,然后选择你想要执行的命令。标记菜单是与上下文有关的,也即是它们的内容依据引发时对应位置的不同而改变。如果你,例如在页面空白处按下鼠标右键,出现在标记菜单的命令将会是创建新的网元素(库所和变迁)时的命令。

Page marking menu

用户可以从标记菜单 marking menus处阅读到更多有关标记菜单是如何工作这方面的知识。也可以从标记菜单工具 marking menu tools处进行阅读。

CPN网的有关操作

创建CPN网时,你需要: 为了提高网的可读性,你需要: 为了编译和分析网,你需要:

例子

There are numerous Example Nets included with CPN Tools that illustrate some of the possibilities the program offers. If you are new to CPN Tools or CP nets in general, start by taking a look at some of the simpler examples such as Simple Protocol or Resource Allocation.

系统提供了很多网络实例 Example Nets 。如果你是使用CPN Tools软件的新手,建议你开始的时候先看看一些简单的例子,如:Simple ProtocolResource Allocation