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

运行的结果

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