基于可达树的无界Petri网性能检测：方法创新与应用拓展.docxVIP

基于可达树的无界Petri网性能检测：方法创新与应用拓展

一、引言

1.1研究背景与意义

在计算机科学、自动化控制、通信网络等众多领域中，离散并行系统广泛存在，其行为的准确描述和性能分析至关重要。Petri网作为一种强大的图形化和数学化建模工具，自20世纪60年代由卡尔?A?佩特里发明以来，凭借其直观的图形表达方式和严格的数学表述方式，在描述具有异步、并发特征的离散事件系统方面展现出独特优势，已在制造系统调度、通信协议验证、工作流管理等场景中得到广泛应用。

在实际应用中，一些Petri网模型表现出无界性，即各个库所中的标志（托肯，token）数量没有限制，这类无界Petri