Text this: 基于随机高级Petri网的ATM网络接纳控制过程模型