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

 

使用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