使用CPN Tools工具做一个登录模型

先安装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改成

1`(1,"one")++
1`(2,"two")++
1`(3,"three")++
1`(4,"four")++
1`(5,"five")

点击Sim工具中的箭头运行

运行的结果

至此一个简单的登录模型就完成了，我把做的登录模型上传了，点击这里可以下载，如果有疑问可以联系我。

---------------------
作者：艾吉玛
来源：CSDN
原文：https://blog.csdn.net/aijima0904/article/details/70229941?utm_medium=distribute.pc_relevant.none-task-blog-2%7Edefault%7EBlogCommendFromBaidu%7Edefault-5.control&depth_1-utm_source=distribute.pc_relevant.none-task-blog-2%7Edefault%7EBlogCommendFromBaidu%7Edefault-5.control

[转] 使用CPN Tools工具做简单的登录模型()相关推荐

js做简单的登录页面以及附加条件，登录成功后跳转
新手第一次上传,还不会介绍,很简单,能看懂不难的 <!doctype html> <html lang="en"><head><meta ...
编程软件python图片-python Plotly绘图工具的简单使用
1.plotly库的相关介绍 1)相关说明 plotly是一个基于javascript的绘图库,plotly绘图种类丰富,效果美观: 易于保存与分享plotly的绘图结果,并且可以与Web无缝集成: ...
神策军丨优秀 Leader 养成记：多做简单又有效的事
一个优秀的 Leader,对上要理解公司战略和目标,找准定位指明方向:对下要拆解目标,合理设计工作内容,让团队形成一股合力,朝着目标努力. 实现目标的道路很多,具体选择背后是公司价值观.把通向理想中精 ...
eclipse 如何关联git_作为一名初学Java者如何做简单的Java项目
作为一名初学Java者而言,如何做简单的Java项目?想要更有效率的学习Java技术,理论中穿插项目练习很有必要.但项目练习要在你掌握了一定的技术之后才能做的,它是用来加深你对技术理解的. 就拿Jav ...
CG Tools 工具收集
CG Tools 工具收集 PNG压缩在线本地 GIF录制 GifCam ScreenToGif Captura 录屏 CamtasiaStudio 无损缩放 waifu2x 字符画 asciif ...
java做简单的缓存缓存
java做简单的缓存缓存不说废话直接上代码 1.缓存类 package com.common.util; import java.util.HashMap; import java.util.Map ...
SpringBoot入门建站全系列（二十七）WebSocket做简单的聊天室
SpringBoot入门建站全系列(二十七)WebSocket做简单的聊天室一.概述 WebSocket 是一种网络通信协议.RFC6455 定义了它的通信标准. WebSocket 是 HTML5 ...
手把手教你采集京东销售数据并做简单的数据分析和可视化
点击上方"Python爬虫与数据挖掘",进行关注回复"书籍"即可获赠Python从入门到进阶共10本电子书今日鸡汤身着白衣,心有锦缎. 前言大家好 ...
python做大数据可视化软件_一般用哪些工具做大数据可视化分析？
大家都回答的是工具产品,似乎都没有人讲讲R语言和Python,怒答. -------------------------------------------多图预警! R-ggplot2 ggplot ...
IDEA中Git及可视化工具TortoiseGit简单使用
Git教程 1. IDEA中git使用 1.1代码拉取如果需要切换分支,可在项目上右键,Git中选择branches- 在弹出页面中,在远程分支模块中,移动到对应分支上点击checkout即可 1. ...

[转] 使用CPN Tools工具做简单的登录模型()

使用CPN Tools工具做一个登录模型

1.首先打开CPN Tools程序

2.画place和transition及其连接

3.初始化数据

[转] 使用CPN Tools工具做简单的登录模型()相关推荐

最新文章

热门文章