logo资料库

cpntool的中文帮助完全版(带图pdf).pdf

第1页 / 共135页
第2页 / 共135页
第3页 / 共135页
第4页 / 共135页
第5页 / 共135页
第6页 / 共135页
第7页 / 共135页
第8页 / 共135页
资料共135页,剩余部分请下载后查看
目录
一、CPN 工具介绍
1.1、怎样使用 CPN Tools 软件
1.2、层次PETRI 网介绍
1.3、交互技术
3.1、基本交互
3.2、两手交互操作
3.3、标识菜单
3.4、工具板
3.5、工具窗
3.6、组合面板,工具浮板和弹出菜单
1.4、索引项
1.5、图形反馈
1.6、DESIGN/CPN 之间转换
二、工具
2.1 工具板和工具窗
2.2标记菜单工具
2.3 CPN ML 语言
三、编辑着色PETRI 网
3.1新建、打开、保存
创建一个新网
载入模型
储存模型
3.2 网结构
添加、编辑声明
增加/修改注入式
文本编辑
层次CPN 的操作
融合库所
替代变迁
由顶向下开发
自底而上的开发
层次网中的注入式
层次标签
编辑层次结构
3.3 图形布局
布局编辑
编辑属性
基准线
调整大小、平移和缩放
移动及转动,多视图
标准构造
反库所/限制库所
队列/堆栈
禁止弧
四、分析着色Petri网
4.1语法检测
4.2网络仿真
4.3使用状态空间工具
1 进入状态空间工具
2 保存一个状态空间报告
3 做状态空间询问
4 状态转换
5 在状态空间工具中改变属性和选项
五、示例
5.1 资源分配
5.2 赋时资源配置
5.3 分布式数据库
5.4 令牌环协议
5.5 电话
5.6 简单协议
5.7 赋时协议
5.8 定时器协议
5.9 资源分配
5.10 分布式数据库
5.11 哲学家就餐
5.12 简单协议
CPN TOOLS-HELP CPN Tools help CPN Tools 帮助文档 基于着色 Petri 网的 CPN Tools 这是 CPN Tools 帮助文档的主页面。 您正在查看的是帮助文档的离线版本,要查看在线版本可以访问 http://wiki.daimi.au.dk/cpntools-help/. CPN Tools 主页: http://www.daimi.au.dk/CPNTools/. 如果您仍然无法找到问题的答案, 可以访问 CPN Tools support pages 以获得支持的信息。 帮助主题 1、CPN Tools 简介 2、Tools (CPN Tools 内嵌工具) 3、CP-net 编辑 4、CP-net 分析 5、例题 6、库 7、错误及 bugs 8、安装 9、其他 支持 我们欢迎您对该工具提出宝贵的意见,访问技术支持页面(the support pages) 可以获得 联系我们的有关信息。 U S T B 四爷制作
CPN 工具介绍 CPN Tools help 获取启动,交互技术,绘图反馈,以及索引等。 CPN 工具使用向导  Getting started with CPN Tools 通过 CPN 工具启动  Introduction to hierarchical nets 等级网络介绍 Interaction Techniques 交互技术- CPN 工具交互技术总介绍 Index Entries 索引导入    Graphical Feedback 绘图反馈  Converting from Design/CPN 设计中转换/CPN U S T B 四爷制作
怎样使用 CPN Tools 软件 怎样 How-to 本页介绍了一些使用 CPN Tools 软件的基本知识。如果你以前从未使用过 CPN Tools 软件,本页是你起步学 习的好地方。在主要帮助 main help 页中,有关于 CPN Tools 方方面面更详细的信息。 如果你在启动 CPN Tools 工具或者安装它的时候碰到问题,可以参考硬件需求 hardware requirements 页, 或者将你的问题发送到我们的技术支持 technical support 。 界面 当你打开 CPN 工具时,首先映入你眼帘的是一个窗口,其中窗口的左边是索引部分,右边是工作区域。 如果你所见并非如此,而是一个灰色的或是绿色的窗口,或者根本什么也没有,那么问题可能就出在你的图形 适配器上。请参照常见问题解答 FAQ 以获取更详细的信息 。 一般情况下,有两个(或者更多)的游标出现在工具上,虽然这个工具的某些版本只有一个。如果你根本就没 有看到游标,可能情况是你没有安装输入设备所需的驱动程序。请依据输入设备并参照硬件需求 hardware requirements 获取更多的帮助信息。 每个游标都被它自己独立的输入设备所控制,比方说鼠标、书写笔或者轨迹球等。多个游标在同一时间可以被 一个或多个用户所控制。下面,我们假定当前主要的输入设备是鼠标,并且是右手使用鼠标,同时使用“手”、 “鼠标”、“游标”等词汇来进行描述。当然,这些交互操作同样适用于左手使用鼠标者,或者其他的两个按钮的 输入设备。 开始使用 CP-net 进行工作,你可以选择载入一个已有的网络,或者重新创建一个新的网络。 网络的载入与创建 载入一个已有的网络时,将游标移动到工作区域或者索引区域的空白部分。按下鼠标右键并保持一定时间,此 时将会出现一个圆形的菜单,即工作区标记菜单 workspace marking menu 。(请阅读标记菜单 Marking menus 页以获取更多有关菜单的信息) U S T B 四爷制作
保持鼠标按下的状态并将游标移动到菜单中的 Load Net 部分。当游标移动到菜单某部分上面的时候,将会高 亮度显示这部分。当高亮度显示菜单中的 Load Net 部分时释放按钮。 此时,将出现一个文件对话框,从中选取你所有载入的网络。当你进行了选择并单击了 OK 键之后,对话框会 消失,同时在 CPN Tools 工具窗口的左边索引区域将会出现一个网络。载入一个网络之后,以这个网络的名 称作为索引的入口。 当然,你也可以通过下述方式来创建一个新的网络:启动工作区标记菜单 workspace marking menu ,从中 选择 New Net 。 记住当你在标记菜单 marking menus 中移动游标时保持你按下鼠标右键的状态。如果你释放按钮的时候标记 菜单中没有高亮度显示部分,那么菜单将会消失并且不会调用任何命令。此时可以再次按下鼠标右键以启动菜 单。 索引 U S T B 四爷制作
索引区域位于 CPN Tools 窗口的左边部分。 索引包括以下几部分:  历史: 一个显示曾经被执行过的命令的列表。  工具箱: 一个在 CPN Tools 中使用的所有工具的列表。参考下面的工具箱介绍以获取更多的信息。  帮助: 链接到帮助 Help, 主页 Homepage, 错误报告 Report Bug 和其他的网页。  选项: 不同的选项,如:仿真等。  当前在 CPN Tools 中打开的网络。 索引区入口左边的蓝色三角形表示这个入口可以被打开从而显示更多有关这个入口的细节。单击三角形以打开 和关闭索引区入口。 网络概览 索引区包含当前工具所打开的每个网络的入口。如果网络是从文件中载入的,那么索引区的网络入口将以该网 络的名称来标识。如下图,名称为“hier.cpn”的网络就是被载入的。如果网络是新创建的,那么网络入口将以 “New net.cpn”来标识。 在网络的网页上开始工作,索引区网络入口必须被打开。如果网络入口没有被打开,可以单击该处的三角形标 识来打开它。 网络入口包含下述部分:  步: 在仿真过程中已经执行过的步的数目。  时间: 当前模拟时间。  声明: 颜色集的声明、功能的声明、常量的声明等。所有的声明都是以 CPN ML 语言的方式来书写的。  网络中各页面的入口。 建议阅读更多有关怎样添加/修改 声明 add/edit declarations 和有关仿真网络 simulating nets 的知识。 可以通过索引到达网络中的所有页面。具备层次结构的网络也可以在索引中得到反映。子页的入口出现在父页 的入口下面,当对应父页入口被打开之后,索引区中子页的入口将会显现出来。 U S T B 四爷制作
打开“Top”页的入口显示它有四个子页:一个"Sender"页实例、一个"Network"页实例和两个"Receiver"页实例。 如果你是创建了一个新网而不是载入,那么网络下只有一个叫做“新页”的页面。这个页面是伴随着新网的创建 而自动生成的而且为空。此时你就能够在这个页面上开始创建新的网对象。 打开页面 在网络中打开页面的方法:将游标移动到页面名称上,按下鼠标左键并将该页面名称拖动到工作区域。下图中 的“Top”页面就是以这种方式被拖动到工作区域。如果你有一个新网,则可将“New Page”页拖动到工作区域 并开始创建新网。 释放鼠标按键,此时页面将出现在工作区域中。 U S T B 四爷制作
如果你拖动的是一个空页,你可以在此页面上从事创建新对象等工作。具体可参考编辑网络 Edit the net 以获 得更多的知识。 多页面和组合体 各页面可以从索引区拖动到工作区并插入到一个或多个组合体中去。将页面插入到组合体中的方法为:在页面 名称出现在特定组合体顶部可视区域时释放鼠标按钮即可。 U S T B 四爷制作
如果想将页面插入到一个新组合体中去时,需要把网从原组合体中拖出来 用户可以将几个页面放置在同一组合体中,也可以将同一页面放置在一个或多个组合体中。 如果将一个页面从一个组合体移动到另外一个组合体,首先得在对应页面标签处按下鼠标左键,然后将其拖动 到一个已有的组合体中去。你也可以用下述方法将它插入到新的组合体中去:从索引区将页面拖动出来,然后 用同样的方法在工作区的某位置释放页面即可。 工具箱 诸如创建新的 CPN 网元素 creating new CP-net elements 、网络仿真 simulating nets 、改变线条颜色和宽 度 changing line colors and line widths 等工具都可以从索引区内工具箱中的特定工具板中而获得,或者通过 在工作区内不同对象上所显示出来的不同标记菜单 marking menus 而获得。 在到达工具板之前,先得打开索引区中工具箱的入口。 U S T B 四爷制作
分享到:
收藏