基于随机Petri网的软件性能分析：动态建模与量化评估框架

一、理论基础与技术架构

（一）随机Petri网核心理论解析

随机Petri网（SPN）定义与特性

随机Petri网（StochasticPetriNet，SPN）是一种强大的离散事件系统建模工具，其概念源于对复杂系统动态行为精确刻画的需求。在SPN中，库所（Place）被用来直观地表示系统的不同状态，就像一个个容器，容器中的令牌（Token）数量代表着该状态下资源的数量或条件的满足程度。例如，在一个生产系统建模中，库所可以表示原材料库存、在制品状态以及成品仓库等，令牌则表示相应的数量。变迁（Transition）