基于Petri網(wǎng)的一卡通清結(jié)算系統(tǒng)設(shè)計與實現(xiàn)
【圖文】:
PIPE 軟件由編輯/動畫窗格組成,提供基本繪制功能來編輯庫所以及模擬仿真,并提供了基于樹形視圖的分析模塊,用于不變量、真、分類和狀態(tài)空間分析。PIPE 軟件已實現(xiàn)的功能比較全面,操作較簡單易用,能夠滿足對 Petri 網(wǎng)的相關(guān)內(nèi)容進(jìn)行分析,,軟件主界3.1 所示。
21圖3.3 校園卡圈存轉(zhuǎn)賬充值業(yè)務(wù)流程petri網(wǎng)模型表3.2 校園卡圈存轉(zhuǎn)賬充值業(yè)務(wù)流程petri網(wǎng)模型中庫所含義庫所 含義P0 校園卡圈存轉(zhuǎn)賬充值請求P1 充值失敗,提示錯誤信息P2獲取校園卡信息P3顯示當(dāng)前余額,并提示輸入充值金額P4清結(jié)算系統(tǒng)處理充值請求P5提示輸入密碼P6銀行系統(tǒng)處理扣款請求P7清結(jié)算系統(tǒng)處理銀行返回交易明細(xì)P8充值成功,顯示當(dāng)前余額
【學(xué)位授予單位】:華僑大學(xué)
【學(xué)位級別】:碩士
【學(xué)位授予年份】:2018
【分類號】:TP311.52;TP301.1
【參考文獻(xiàn)】
相關(guān)期刊論文 前6條
1 林玲敏;;數(shù)字化校園中一卡通系統(tǒng)的意義與應(yīng)用[J];中國新通信;2013年04期
2 吳玉琳;;淺析校園一卡通[J];科技信息;2010年11期
3 鄭偉;徐寶祥;徐波;;面向服務(wù)架構(gòu)研究綜述[J];情報科學(xué);2009年08期
4 王麗麗;吳哲輝;;求網(wǎng)的S-不變量的一種圖算法[J];計算機科學(xué);2007年03期
5 鄭燕;何學(xué)文;;“一卡通”系統(tǒng)在廣州大學(xué)城的建設(shè)和應(yīng)用[J];中國科技信息;2006年13期
6 王春雁 ,朱文英;2004-2005年校園卡建設(shè)與應(yīng)用現(xiàn)狀分析(下)[J];教育信息化;2005年05期
相關(guān)碩士學(xué)位論文 前10條
1 尚鑫;基于Petri網(wǎng)的航空物流服務(wù)流程的優(yōu)化研究[D];中國民航大學(xué);2017年
2 陳云龍;城市一卡通清結(jié)算系統(tǒng)的設(shè)計與實現(xiàn)[D];東南大學(xué);2016年
3 齊晶;天津國土資源和房屋職業(yè)學(xué)院一卡通系統(tǒng)的設(shè)計與實現(xiàn)[D];天津大學(xué);2015年
4 溫世剛;基于Petri網(wǎng)的梯形圖程序建模以及驗證方法研究[D];華僑大學(xué);2014年
5 伍劍宇;校園一卡通系統(tǒng)的設(shè)計與應(yīng)用[D];吉林大學(xué);2013年
6 李宏燁;校園一卡通系統(tǒng)的設(shè)計與實現(xiàn)[D];山東大學(xué);2013年
7 張建欽;四川化工職業(yè)技術(shù)學(xué)院校園一卡通軟件系統(tǒng)設(shè)計與實現(xiàn)[D];電子科技大學(xué);2013年
8 王宏達(dá);基于SOA的MDA中元模型與模型的設(shè)計與實現(xiàn)[D];南京航空航天大學(xué);2012年
9 呂雅琴;基于Petri網(wǎng)的云浮新港業(yè)務(wù)流程優(yōu)化研究[D];華南理工大學(xué);2011年
10 王慧;基于Petri網(wǎng)的物流配送業(yè)務(wù)流程優(yōu)化與仿真研究[D];武漢理工大學(xué);2011年
本文編號:2674238
本文鏈接:http://www.sikaile.net/kejilunwen/ruanjiangongchenglunwen/2674238.html