LU Ke,WANG Lili.Modeling optimization of course selection systembased on Petri net[J].Journal of Yanbian University,2018,44(03):246-249.
基于Petri网的选课系统建模优化
- Title:
- Modeling optimization of course selection system based on Petri net
- 分类号:
- TP391.9
- 文献标志码:
- A
- 摘要:
- 针对在访问选课系统中的临界资源时出现的不稳定性问题,建立了一种基于Petri网的选课系统流程模型.首先使用“生产者-消费者”原理对模型进行优化,实现“发布课程”和“选课”的严格序关系; 然后引入信号量机制进一步优化,实现互斥访问更新后的临界资源.最后用PIPE软件模拟运行优化后的模型并进行分析,结果表明模型具有安全性和有界性.
- Abstract:
- Aiming at the stability of access to critical resources in the course selection system, the course selection process model is established based on the Petri net. Firstly, the model is optimized by using the producer-consumer principle to realize the strict sequence relationship between "releasing course" and "selecting course". Then the semaphore mechanism is introduced to further optimize the model to realize the mutually exclusive accessing of the updated critical resources. Finally, the PIPE software is used to simulate and analyze the optimized model, and the results show that the model is safe and bounded.
参考文献/References:
[1] Fang Xinjian, Liu Xiangwei, Fang Xianwen. An effective constraint-aware optimization method for university course timetabling problem[J]. Bio Technology: An Indian Journal, 2014,10(9):4001-4006.
[2] Chen Hefeng, Wu Naiqi, Zhou Mengchu. A novel method for deadlock prevention of AMS by using resource-oriented Petri nets[J]. Information Sciences, 2016,1:178-189.
[3] Ye Z, Wang S, Zhao T. IMA dynamic reconfiguration modeling and resource criticality analysis based on Petri net[C]//ICRSE 2017: the 2nd International Conference on Reliability Systems Engineering. Beijing: IEEE, 2017:1-6.
[4] 侯春龙,齐新战,卫翔.基于Petri网建模的互斥问题优化方案[J].系统仿真技术,2012(3):238-243.
[5] 秦奋涛.一种资源分配方案及其Petri网模型[J].河北北方学院学报(自然科学版),2005(1):24-25.
[6] 罗冬梅.进程互斥算法的 Petri Net 实现[J].青岛大学学报(自然科学版),2015,28(4):77-79.
[7] Smirnov S, Weidlich M, Mendling J. Business process model abstraction based on behavioral profiles[C]//International Conference on Service-Oriented Computing. Berlin, Heidelberg: Springer, 2010:1-16.
[8] 方贤文.Petri网行为轮廓理论及其应用[M].上海:上海交通大学出版社,2017:1-16.
[9] 吴哲辉.Petri网理论[M].北京:机械工业出版社,2006:1-28.
[10] 汤小丹.计算机操作系统[M].西安:西安电子科技大学出版社,2014:47-60.
相似文献/References:
[1]严顺,方贤文*,刘祥伟.优先权Petri网在电梯运行控制中的应用[J].延边大学学报(自然科学版),2017,43(03):242.
YAN Shun,FANG Xianwen*,LIU Xiangwei.Application of priority Petri net in the controlling ofelevator operation[J].Journal of Yanbian University,2017,43(03):242.
[2]应丽,王丽丽,刘祥伟.基于Petri网的门诊就医流程模型优化分析[J].延边大学学报(自然科学版),2018,44(01):79.
YING Li,WANG Lili,LIU Xiangwei.Optimization analysis of outpatient service processbased on Petri net modeling[J].Journal of Yanbian University,2018,44(03):79.
[3]杨皓然,姚瑶.基于Petri网的医疗流程建模优化[J].延边大学学报(自然科学版),2018,44(04):332.
YANG Haoran,YAO Yao.Medical process modeling optimization based on Petri Net[J].Journal of Yanbian University,2018,44(03):332.
[4]方娜,刘祥伟.基于Petri网的网络订票系统换乘问题的建模优化[J].延边大学学报(自然科学版),2018,44(04):336.
FANG Na,LIU Xiangwei.Modeling and optimization of transfer problemin network booking system based on Petri Net[J].Journal of Yanbian University,2018,44(03):336.
[5]马婷婷.基于Petri网的就医预检分诊模型优化分析[J].延边大学学报(自然科学版),2019,45(02):145.
MA Tingting.Optimization analysis of medical pre-examination triagebased on Petri net modeling[J].Journal of Yanbian University,2019,45(03):145.
[6]蔡婷婷,刘祥伟.基于Petri网的危险品出入库流程建模优化[J].延边大学学报(自然科学版),2020,46(01):85.
CAI Tingting,LIU Xiangwei.Modeling and optimization of inbound and outbound processes of dangerous goods based on Petri net[J].Journal of Yanbian University,2020,46(03):85.
[7]方新升,刘祥伟*.基于Petri网的高校网上预约报销系统的建模与优化[J].延边大学学报(自然科学版),2021,47(03):255.
FANG Xinsheng,LIU Xiangwei*.Modeling and optimization of online appointment reimbursement system in colleges based on Petri net[J].Journal of Yanbian University,2021,47(03):255.
备注/Memo
收稿日期: 2018-06-13 基金项目: 国家自然科学基金资助项目(61402011)
作者简介: 卢可(1995—),男,硕士研究生,研究方向为Petri网理论及模型优化.