使用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工具中的箭头运行

运行的结果

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

使用CPN Tools工具做简单的登录模型（初学者）相关推荐

js做简单的登录页面以及附加条件，登录成功后跳转
新手第一次上传,还不会介绍,很简单,能看懂不难的 <!doctype html> <html lang="en"><head><meta ...
使用struts做一个简单的登录跳转
[java web]第一节课 3.7号作业做一个非常简单的登录跳转界面,要求: 需要一个登陆界面用于接受用户输入的信息输入姓名"wei"如果正确则跳转到"index. ...
python做一个登录注册界面_Python 实现简单的登录注册界面
Python 实现简单的登录注册界面注意:编写代码之前需要导入很重要的包 import tkinter as tk import pickle from tkinter import message ...
mvc登录实例 mysql_spring mvc + mybatis + mysql 调整的一个简单的登录例子
spring mvc + mybatis + mysql 整合的一个简单的登录例子今天用spring跟mybatis整合写了一个简单的登录例子,第一次整合,给自己做个笔记,可能注释写的有点少,做的不 ...
编程软件python图片-python Plotly绘图工具的简单使用
1.plotly库的相关介绍 1)相关说明 plotly是一个基于javascript的绘图库,plotly绘图种类丰富,效果美观: 易于保存与分享plotly的绘图结果,并且可以与Web无缝集成: ...
关于使用selenium工具调用Firefox浏览器登录淘宝、京东web端的试验
** 关于使用selenium工具调用Firefox浏览器登录淘宝.京东web端的试验 ** 1.环境配置(软件安装相关知识大家可在网上查找) 以下是我使用的版本: Firefox 24.0 sele ...
基于android校园订餐APP，简单实现登录注册功能（SharedPreferences）
基于android校园订餐APP,简单实现登录注册功能(SharedPreferences) 欢迎浏览本篇文章界面效果图页面设计代码源代码欢迎浏览本篇文章大家好! 这是小编首次在博客上写的文 ...
Ajax实现简单的登录验证与帐号注册
上一篇博客介绍了Ajax的GET和POST方法以及上传文件的进度条展示,这篇博客将介绍一个简单的登录与注册功能的实现设计HTML 这个是即将成为我毕业设计的一个网站, 在导航栏我添加了两个注册和登录 ...
SpringCloud一代组件+nginx实现简单的登录注册
SpringCloud一代组件+Nginx实现简单的登录注册 1.要求 2.实现步骤 1. 首先将项目骨架创建出来 2.然后将每个功能对应的子项目创建出来 3.导入对应的数据库和配置全局配置 4.配置 ...
神策军丨优秀 Leader 养成记：多做简单又有效的事
一个优秀的 Leader,对上要理解公司战略和目标,找准定位指明方向:对下要拆解目标,合理设计工作内容,让团队形成一股合力,朝着目标努力. 实现目标的道路很多,具体选择背后是公司价值观.把通向理想中精 ...

使用CPN Tools工具做简单的登录模型（初学者）

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

1.首先打开CPN Tools程序

2.画place和transition及其连接

3.初始化数据

使用CPN Tools工具做简单的登录模型（初学者）相关推荐

最新文章

热门文章