使⽤CPNTools⼯具做简单的登录模型（初学者）
使⽤CPN Tools⼯具做⼀个登录模型
先安装CPN⼯具，可以进⾏下载。CPN的⼯具是需要JAVA环境的，所以记得提前配好JAVA环境程序才能正常运⾏。登录内容：只有在⽤户名是3，登录密码是three时才登录成功提⽰success，否则提⽰fail。
1.⾸先打开CPN Tools程序
点击右键选择New Net
这样就新建了⼀个Net
tool工具箱把⼯具箱中的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")

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。