CPN Tools(着色petri网工具)

　　CPN Tools是一款专用于有色Petri网编辑、模拟和分析的工具，它的原名叫做Colored Petri nets，该应用程序为用户提供了大量的分层建模工具，可以帮助用户完成一系列的时间颜色集表示设计，可以通过自动分析功能让HTCPN方法可以应用于安全协议的自动分析中；用户可以使用该应用程序用于编辑，模拟和分析有色Petri网领域；该工具具有增量语法检查和代码生成功能，可在构建网络时进行，快速模拟器可有效处理不定时和定时网络。可以生成和分析完整和部分状态空间，并且标准状态空间报告包含诸如有界性属性和活性属性之类的信息；提供强大的工具箱，可以用于创建新CPN元素，模拟网络，更改线条颜色和线宽等的工具可通过索引工具框中的工具选项板以及工作区中各种对象上的标记菜单访问；强大又实用，需要的用户可以下载体验

软件功能

　　对需要的着色petri网进行模型的建立

　　并且还对拥有时间、分层的着色petri网建立模型进行支持

　　对用户经常使用的CPN ML编程语言支持

　　根据自己的需求对颜色进行选择，包括了对时间的设置

　　层次化的建模支持，对各种丰富的模型分析工具进行提供

　　内置的监视器相当的实用，完成对空间状态的分析等

软件特色

　　第三部分扩展

　　支持出口到PNML、支持实时和彩色集、改进的时间支持（时间间隔和状态空间缩减）、简化状态空间分析

　　模拟

　　在模拟期间更改标记、模拟过程中的错误、限制

　　手动选择绑定、运行模拟、模拟反馈、模拟复制、模拟报告、模拟停止标准、模拟器功能

　　状态空间工具中的属性和选项、计算状态空间、使用CPN Tools绘制状态空间、用Graphviz绘制状态空间

　　输入状态空间工具、限制、进行状态空间查询、不确定的网、保存标准状态空间报告、国家空间职能、状态和状态空间节点、状态空间的时间逻辑

　　样本CPN模型

　　蓝牙网络、餐饮哲学家的例子、分布式数据库示例、分布式数据库示例

　　动态MANET按需路由协议、E6网络动态路由、边缘路由器发现协议、离散事件控制的集合协调

　　支持以太网、以太网网络参数模型、分层协议示例、IP网络、受监控的餐饮哲学家的例子、MPLS网络、计时器协议

　　提供商骨干桥、队列系统配置示例、队列系统示例、伪装交通攻击下的矩形网格

　　具有直通切换节点的矩形网格、提供商骨干网桥的可更新模型、矩形通信网格的可重模型、具有直通节点的矩形通信网格的可更新模型

　　资源分配示例、资源分配示例、环协议示例、简单的协议示例、简单的协议示例、电话示例、定时协议示例、定时资源分配示例

安装步骤

　　【温馨提示】：安装该程序需要电脑中安装有JAVA应用程序

　　1、需要的用户可以点击本网站提供的下载路径下载得到对应的程序安装包

　　2、通过解压功能将压缩包打开，找到主程序，双击主程序即可进行安装，点击下一步按钮

　　3、用户可以根据自己的需要点击浏览按钮将应用程序的安装路径进行更改

　　4、现在准备安装主程序。点击“安装”按钮开始安装或点击“上一步”按钮重新输入安装信息

　　5、现在准备安装主程序。点击“安装”按钮开始安装或点击“上一步”按钮重新输入安装信息

　　6、等待应用程序安装进度条加载完成即可，需要等待一小会儿

　　7、根据提示点击安装，弹出程序安装完成界面，点击完成按钮即可

使用说明

　　要创建CPN，您需要编辑网络，添加/编辑声明以及添加/编辑铭文（到地点，过渡和弧线）。要提高网络的可读性，可以编辑布局和编辑样式属性。为了调试和分析网络，有语法检查，模拟网络和状态空间分析的工具。

　　要从索引打开帮助页面，请将其拖到工作区，就像打开页面的交互一样。

　　要访问索引中的工具选项板，请在索引中打开“工具箱”条目。以与您相同的方式将调色板拖到工作区

　　可以将页面从索引拖动到工作空间并放入一个或多个绑定器中。要在活页夹中放置页面，请在页面名称位于活页夹顶部的可见区域内时释放鼠标按钮。

　　在活页夹中删除页面

　　要将其放入新的活页夹中，请将名称放在活页夹区域之外。

　　在新的活页夹中删除页面

　　您可以在同一个活页夹中放置多个页面，并且可以在多个活页夹中使用相同的页面。活页夹只能包含一个网页。

　　粘合剂中的页面

　　要将页面从一个活页夹移动到另一个活页夹，请在页面左上角的页面选项卡上按鼠标左键，然后将页面拖动到现有活页夹。您也可以通过以与从索引中拖动时相同的方式在工作区的某个位置释放页面，将其放入新的活页夹中。

　　将页面拖动到另一个活页夹

　　将页面拖动到新的活页夹

　　要在网络中打开页面，请将光标移到页面名称上，按下鼠标左键并将页面名称拖到工作区。打开或创建网络时，可能已经打开了一个或多个页面。这里将命名的页面Top拖动到工作区。如果您有新网络，请将页面拖动New Page到工作区以开始创建网络。

　　将页面拖动到工作区

　　将空页面拖动到工作区

　　释放鼠标按钮。该页面现在显示在工具栏中的活页夹中。

　　活页夹中的页面

　　活页夹中的空页

　　如果您已将空白页面拖出，则可能需要开始创建网络对象;

　　索引包含在工具中打开的每个网络的条目。

　　如果从文件加载网络，则索引中的网络条目将标记为网络名称。在下图中，HierarchicalProtocol.cpn已加载名为net的网络。如果创建了新网络，则会标记网络条目New net.cpn。

　　要开始处理网络中的页面，必须打开索引中的网络条目。该条目可能已经打开。单击名称旁边的三角形以打开条目（如果尚未打开）。

　　索引中的净额

　　网络条目包含：

　　历史记录：已在网络上执行的命令列表;

　　步骤：模拟中执行的步骤数;

　　时间：当前模特时间;

　　声明：颜色集，函数和常量值的声明。所有声明均以CPN ML语言书写;

　　监视器：为网络定义的所有监视器 ; 和

　　网页中的页面条目。

　　阅读有关如何添加/编辑声明以及模拟网络的更多信息。

　　网络中的所有页面都可通过索引访问。网络的层次结构反映在索引中。子页面的条目显示在其超级页面的条目下。打开相应的超级页面条目时，子页面条目在索引中可见。

　　带有子页面的首页

　　打开Top页面条目显示它有四个子页面：一个页面实例Sender，一个Network页面实例和两个页面实例Receiver。

　　如果您已创建新网络而不是加载现有网络，则只有一个页面，称为新页面。此页面是使用新网络自动创建的，并且为空，因此您可以开始在其上创建网络对象。

　　有一个空页面的新网

　　您在使用CPN Tools时遇到问题还是想报告错误？以下Petri网指定了什么以及如何做。要实际执行建议的任务，您可以单击相应的转换。如果您更喜欢文字说明，请滚过该图。

　　注意：我们不再为3.4之前的任何版本的CPN工具和Windows 7及更新版本以外的操作系统提供支持！

　　检查知识库

　　检查网页

　　看书）

　　你有一个问题

　　为了简化我们的工作，特别是避免不必要的支持请求，请遵循以下过程：

　　查看我们的知识库是否已回答您的问题。

　　在我们的帮助页面中搜索您的问题的答案。您也可以使用索引。

　　如果前面的步骤没有成功，请使用支持表单。不要忘记选择它是支持问题还是错误报告。提供以下信息：

　　使用的CPN工具和Windows 版本（CPN工具> = 3.4;仅限Windows，Windows> = 7）;

　　导致问题的确切步骤（非常详细和明确，不要假设我们可以猜测你采取了哪些步骤，并且不要因为你认为它们无关紧要而遗漏了事情）;

　　什么事是什么？你希望发生的（不要忘了后者）;

　　适用的 模型（请注意，该列表是私有的，我们不会泄露任何收到的模型）;

　　cpntools.dump文件如果CPN Tools崩溃，还附加与cpntools.dump模型在同一目录中生成的文件;

　　屏幕截图，如果他们帮助; 和任何其他有用的细节都不会试图过滤掉重要的东西 - 我们可能更擅长判断什么对你有帮助。

　   您还可以使用页面底部的表单推荐新功能。

　　注意：我们会尽快回复您，在繁忙时段或休假期间（6月至8月末+ 12月下半月）可能需要长达5个工作日甚至更长时间。除非在假期外超过10个工作日，否则强烈建议不要重新发送邮件。

　　强烈建议不要向个别团队成员发送邮件。它不会给你优先支持（实际上恰恰相反）。如果直接提示，则直接邮寄团队成员。此外，不要求“立即”或“快速”答案。我们尽快回答所有请求，但有时可能需要时间。我们将推迟此类请求，重复违规者将被忽略。