随机着色Petri网在图书馆文献检索系统中的应用

为了提高图书馆各种文献资源的利用效率,为读者提供更快捷的文献检索服务,在分析现有图书馆信息管理系统及影响信息检索效率的各种因素的基础上,引入随机着色Petri网,对图书馆文献检索系统重新建模,实现系统的动态模拟,并针对该检索系统所建模型给出了其性能分析的方法。