基于petri网的校园一卡通系统优化分析

2018-09-10 06:18徐长雨刘祥伟王丽丽
关键词:建模

徐长雨 刘祥伟 王丽丽

摘 要:构建基于petri网的校园卡使用模型,通过增加控制结构优化系统,让使用者通过系统清晰地获得信息,实现校园洗浴系统的优化,给用户带来更加人性化的洗浴体验.仿真软件验证结果表明,系统能够满足peteri网的有界性和安全性,运行良好.

关键词:petri网; 建模; 控制结构; PIPE

[中图分类号]TP391.9 [文献标志码]A

文章编号:1003-6180(2018)02-0021-03

Abstract:Construct a usage model based on Petri Net for campus cards. By adding a control structure optimization system, users can obtain information through the system and achieve optimization of the campus bathing system, thereby giving the user a more human bathing experience. Simulation software verification results show that the modeling and optimization system.

Key words:petri net; modling; control structure;PIPE

Petri網用图形符号语言直观描述系统结构和系统状态变化,应用于系统的建模和性质分析.Zhai P J[1]等提出一种基于Petri网的优化分析方法,根据支付的实际情况,在确保付款方式比例的情况下,通过增加相关控制结构来进行优化.Zuo-Wei F U[2] 等给出加入抑制弧的优化算法,为Petri网的应用提供了一种新的思路.石弯弯[3] 等提出了行为轮廓业务系统优化分析方法,通过增加活动变迁和库所对业务流程进行建模优化.曹蕊[4] 等提出了基于业务流程模型抽象的流程配置优化,实现业务流程的配置优化分析.何路路[5] 等提出基于 Petri网的工作流系统业务模型,通过工作流 Petri网的语义性质建模并证明模型的有效性.贾小贝[6]等通过Petri网模型确定行为之间的对应关系,提出基于行为轮廓的行为相似性计算方法,为用户的特征分析提供决策支持.本文通过petri网建模,构建基于petri网的校园卡使用模型,通过增加控制结构优化系统,让使用者能够通过系统清晰地获得信息,实现对校园洗浴系统的优化,从而给用户带来更加人性化的洗浴体验.

1 校园洗浴系统可达性建模优化分析

以校园洗浴系统为例.进入浴室后,使用者插入校园卡,系统会自动检测该卡.通过检测后,读取相应的个人信息,检查水卡的账户余额.当账户有余额时,水龙头就会启动.

图1中,t0插卡,t1系统检测,产生一个排他结构[8]. 如果插入的卡不是校园卡,或者说该卡已经消磁,那么系统就会触发报警装置t2,发出报警引发t7,提示换卡t8,确定后,换卡t9发生,之后t10发生,即重新插卡,然后重新检测,即t1再次发生.如果插入的卡通过系统检测,t2读取数据,检测水卡中的余额,即t3发生,产生一个排他结构,用来区分到底水卡中的余额存在与否.当水卡中还有金额时,发生t4,触发t5发生,这时候水龙头正常出水.用完水后取卡,即发生t6.还有一种情况是t11发生,检测到水卡中没有金额了,提示充值,t12发生,当执行充值时,t13发生.

系统虽然可以成功地反映洗浴的整个过程,但缺少人性化的一些提示.比如说,当插入校园卡检测通过并读取水卡中的金额时,对于水卡中余额低于两元时,应友好的提示下用户,给用户一个大致的了解.因为一般情况下,两元通常不能够满足一次长久的洗浴.针对此种状况,笔者对该过程重新进行优化,见图2.

图2中,系统检测到水卡有余额时,t4发生,水龙头不是立即出水,而是再对余额中金额进行一个比较,产生一个排他结构,用虚线框标记出来.当余额大于2元时,用tx表示,此时执行t24,启动水龙头出水,然后再取卡,发生t25.否则就是低于2元,用ty表示,这时候会提示用户,水卡的余额可能不够支持此次的洗浴,即t21发生.当用户得知此情况之后,可以选择是否决定去充值,或者继续洗浴.于是这里应该也有一个排他结构.当使用者选择充值时,之后的执行情况与之前叙述一样,不在赘述.

提示后,如果选择继续洗浴,用一个变迁t23表示等待3秒,给用户一个选择的时间,3秒后,水龙头将正常出水.可以看到,通过增加一个(tx,yy)排他结构,成功实现了对于校园洗浴系统的优化,从而给用户带来了更加人性化的洗浴体验.

2 校园洗浴系统可达性建模仿真

使用PIPEV4.2.1进行仿真实验,验证优化是否达到预期的要求.见图3.通过函数State Space Analysis得出图4.

验证优化后的有界性、安全性以及有无死锁.仿真实验表明,该结构能够满足有界性和安全性的要求.

3 结束语

通过增加控制结构优化系统,成功实现了对校园洗浴系统的优化,从而给用户带来了更加人性化的洗浴体验,较好地提示水卡余额不足的情况.仿真结果表明,该系统能够满足petri网的有界性和安全性,但是对于未能满足闭环系统带来的死锁,还需要进一步研究.

参考文献

[1] Zhai P J, Wang L L, Liu X W. Optimization analysis of payment process model based on petri net[J]. Journal of Hubei Normal University,2017(3):71-75.

[2] Zuo-Wei F U, Yue X B. A workflow model optimization based on Petri net[J]. Journal of Changsha University of Science & Technology,2012(6):81-86.

[3] 石弯弯,刘祥伟,王丽丽.基于Petri网的网上购物系统建模优化分析[J].吉林工程技术师范学院学报,2017(6):99-101.

[4] 曹蕊,刘祥伟,王丽丽.基于Petri网流程配置的材料采购系统优化分析[J].长春师范大学学报,2017(4):13-18.

[5] 何路路,方欢.基于Petri网的保险工作流系统建模及验证[J].牡丹江师范学院学报:自然科学版,2017(1):5-8.

[6] 贾小贝,方欢.基于行为轮廓的网络日志行为相似性分析[J].牡丹江师范学院学报:自然科学版,2017(3):1-5.

编辑:琳莉

猜你喜欢
建模
解析新课标下高中数学建模教学策略
物理建模在教与学实践中的应用
在经历中发现在探究中建模
空间几何体外接球问题的数学建模
3DSMAX建模技术分析
三维激光扫描技术建模与倾斜摄影测量建模对比
思维建模在连续型随机变量中的应用
模型与建模在高中生物学教学中的应用——以“减数分裂”第1课时教学为例
求距求值方程建模
运用5W1H教学策略培养高中物理问题建模能力