软件展示
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工具中的箭头运行
运行的结果
热门文章
天地劫模拟器
天地劫模拟器:数字时代的经典续写 《天地劫》系列作为经典角色扮演游戏,自推出以来便凭借其独特的中国风设定、丰富的剧情和深度的角色塑造,赢得了众多玩家的喜爱。在数字时代,随着硬件更新换代,老版游戏因兼容性问题难以在新型设备上运行,天地劫模拟器应运而生,成为连
山地车减震模拟器怎么用
山地车减震模拟器是一种用于模拟山地车减震系统工作状态的设备,旨在帮助骑行者熟悉减震器的响应特性,提升对减震系统的操控能力。通过模拟不同路况下的减震表现,骑行者可以在安全环境中练习调整减震参数,为实际山地车骑行积累经验。 在使用山地车减震模拟器前,需完成一系
手上用gba模拟器
掌上经典:GBA模拟器在手机上的新纪元 在掌上游戏机的历史中,Game Boy Advance(GBA)是一个里程碑。如今,随着移动设备的普及,GBA模拟器被移植到智能手机上,为玩家带来了全新的体验。在手机上使用GBA模拟器,意味着将经典游戏体验从掌上设备扩展到个人移动终端。 手机屏幕
996盒子手模拟器
在当今数字化时代,手游模拟器成为了许多玩家体验手机游戏的便捷途径。其中,996盒子手模拟器以其独特的功能和易用性,受到了广大玩家的青睐。 996盒子手模拟器是一款专门为手机游戏设计的模拟器,它能够模拟出手机的环境,让玩家在电脑上就能流畅地玩到手机上的游戏。这种模
威尔蜘蛛模拟器
威尔蜘蛛模拟器 威尔蜘蛛是一种流行的纸牌游戏,模拟器是一个数字平台,允许玩家在线或离线玩威尔蜘蛛。对于纸牌游戏爱好者,特别是那些喜欢策略性牌类游戏的人来说,这是一个有吸引力的选择。 游戏的核心机制涉及从一副牌中发牌,玩家通过将牌按花色和数字顺序排列来组织牌堆
暗潮模拟器
暗潮模拟器 暗潮模拟器是一种用于模拟复杂、非线性和不可预测系统的计算机程序。它旨在重现那些在现实世界中难以直接观察或测量的“暗流”或深层动态。这些系统通常包含大量相互关联的变量,其行为方式往往无法通过简单线性模型来预测。暗潮模拟器通过构建高度复杂的数学模型
有哪些搞笑一点的模拟器
有哪些搞笑一点的模拟器 搞笑模拟器通常通过模拟日常或虚构场景中的滑稽情节,让玩家在操作过程中感受到幽默。这类模拟器往往将平凡的瞬间转化为喜剧素材,比如日常生活中的小意外、游戏开发中的奇葩设定,或者特定角色的搞笑日常。 生活模拟类模拟器是搞笑的重要来源,这类模