该文章用时间—有色Petri网详细对电梯系统进行了建模和分析,有很强的参考价值。