会议论文《一种针对CP-nets并发模型的验证方法》发表于第十四届全国Petri网理论与应用学术年会。该文提出了一种针对条件概率网络（CP-nets）并发模型的验证方法，旨在提高系统行为分析的准确性与效率。通过引入形式化验证技术，文章有效解决了传统方法在处理复杂并发问题时的局限性，为CP-nets在实际应用中的可靠性提供了理论支持。
文档为pdf格式，0.31MB，总共7页。
举报
