基于Petri网的一卡通清结算系统设计与实现
【图文】:
PIPE 软件由编辑/动画窗格组成,提供基本绘制功能来编辑库所以及模拟仿真,并提供了基于树形视图的分析模块,用于不变量、真、分类和状态空间分析。PIPE 软件已实现的功能比较全面,操作较简单易用,能够满足对 Petri 网的相关内容进行分析,,软件主界3.1 所示。
21图3.3 校园卡圈存转账充值业务流程petri网模型表3.2 校园卡圈存转账充值业务流程petri网模型中库所含义库所 含义P0 校园卡圈存转账充值请求P1 充值失败,提示错误信息P2获取校园卡信息P3显示当前余额,并提示输入充值金额P4清结算系统处理充值请求P5提示输入密码P6银行系统处理扣款请求P7清结算系统处理银行返回交易明细P8充值成功,显示当前余额
【学位授予单位】:华侨大学
【学位级别】:硕士
【学位授予年份】:2018
【分类号】:TP311.52;TP301.1
【参考文献】
相关期刊论文 前6条
1 林玲敏;;数字化校园中一卡通系统的意义与应用[J];中国新通信;2013年04期
2 吴玉琳;;浅析校园一卡通[J];科技信息;2010年11期
3 郑伟;徐宝祥;徐波;;面向服务架构研究综述[J];情报科学;2009年08期
4 王丽丽;吴哲辉;;求网的S-不变量的一种图算法[J];计算机科学;2007年03期
5 郑燕;何学文;;“一卡通”系统在广州大学城的建设和应用[J];中国科技信息;2006年13期
6 王春雁 ,朱文英;2004-2005年校园卡建设与应用现状分析(下)[J];教育信息化;2005年05期
相关硕士学位论文 前10条
1 尚鑫;基于Petri网的航空物流服务流程的优化研究[D];中国民航大学;2017年
2 陈云龙;城市一卡通清结算系统的设计与实现[D];东南大学;2016年
3 齐晶;天津国土资源和房屋职业学院一卡通系统的设计与实现[D];天津大学;2015年
4 温世刚;基于Petri网的梯形图程序建模以及验证方法研究[D];华侨大学;2014年
5 伍剑宇;校园一卡通系统的设计与应用[D];吉林大学;2013年
6 李宏烨;校园一卡通系统的设计与实现[D];山东大学;2013年
7 张建钦;四川化工职业技术学院校园一卡通软件系统设计与实现[D];电子科技大学;2013年
8 王宏达;基于SOA的MDA中元模型与模型的设计与实现[D];南京航空航天大学;2012年
9 吕雅琴;基于Petri网的云浮新港业务流程优化研究[D];华南理工大学;2011年
10 王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;2011年
本文编号:2674238
本文链接:https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/2674238.html