CPNTools(CPN建模工具)V4.0.1官方版 版本

　　CPN Tools是一款简单高效的建模软件。该款工具专用于有色Petri网编辑、模拟和分析，提供的分层建模工具、时间颜色集表示以及自动分析工具使得HTCPN方法可以应用于安全协议的自动分析中。

【功能特点】

　　制图 - 从 Adobe Illustrator 内导入2D元素，或直接在CPN Tools内绘制2D对象。

　　建模 - 具备大量建模选项。使用熟悉的Bezier样条实现3d建模;以Quad多义线取代传统的多边形;表面元混合对象;锻压模型;布尔联合或相减;镜像建模等。

　　浏览 - 从多个角度检查作品。CPN Tools带有分割视窗，多视窗，等高线，针对相机和光源的专门视窗。

　　环境 - 有时外围空间对作品而言非常重要，CPN Tools带有多种选项，并提供一个使用方便的界面，实现对外围空间的控制。

　　光照 - 光照能够提升作品效果，CX为您提供了点光源、聚束光、全局太阳光、环境灯罩、高动态范围图象光、发光表面、胶体光，所有这些光源的使用都不受限制，而且完全可控。

　　渲染 - 高品质渲染特性。渲染是将作品整合并创建最终图像的过程。

　　动画 - 提供简单的动画方法，以动画展现作品。动画控制方式非常简单，包括关键帧、时间轴、脚本。

　　纹理 - 使用简单，同拖放操作类似。CX提供纹理面板，带有数百种预先设置的表面纹理，您也可以制作自定义纹理，制作的纹理类似于活动链接到Photoshop文件，在Photoshop内做出更改后，CX将自动更新模型表面。

【使用说明】

　　先安装CPN工具，点击这里可以进行下载。CPN的工具是需要JAVA环境的，所以记得提前配好JAVA环境程序才能正常运行。

　　登录内容：只有在用户名是3，登录密码是three时才登录成功提示success，否则提示fail。

　　1.首先打开CPN Tools程序

　　点击右键选择New Net

　　这样就新建了一个Net

　　把工具箱中的Create和Simulation拖到面板上

　　2.画place和transition及其连接

　　在左侧Declarations下定义声明，右击Declarations新建decl

　　新建红色框里的decl（前后顺序不能乱）

　　给place和transition中写上名字send，p1，receive。

　　选中send点击键盘上的Tab键把出现的UNIT改成INTxData，然后同样选中receive点击键盘上的Tab键把出现的UNIT改成DATA.

　　点击第一条带箭头的线，把expr改成（n，p），点击第二条带箭头的线，把expr改成if n=3 andalso p=three then success else fail（这句话的意思是如果用户名是3，密码是three则登录成功显示success，否则登录失败fail）

　　3.初始化数据

　　选中send点击键盘上的Tab键两下，把出现的INIT MARK改成

　　点击Sim工具中的箭头运行

　　运行的结果