会议论文《基于逻辑Petri网的图书馆借阅系统的建模与分析》探讨了如何利用逻辑Petri网对图书馆借阅系统进行建模与分析。该文通过形式化方法提高系统设计的准确性与可靠性，为图书馆管理提供理论支持与实践指导。研究在第十二届全国Petri网理论与应用学术年会上发表，具有较高的学术价值。
文档为pdf格式，0.55MB，总共4页。
举报
