基于Petri网的选课系统建模优化

针对在访问选课系统中的临界资源时出现的不稳定性问题,建立了一种基于Petri网的选课系统流程模型.首先使用“生产者-消费者”原理对模型进行优化,实现“发布课程”和“选课”的严格序关系; 然后引入信号量机制进一步优化,实现互斥访问更新后的临界资源.最后用PIPE软件模拟运行优化后的模型并进行分析,结果表明模型具有安全性和有界性.

Modeling optimization of course selection system based on Petri net

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.