Text this: 基于随机高级Petri网的主动自调度集群系统的性能分析