
基于时间-有色Petri网的电梯系统的建模与分析
宗群、窦立谦、程义菊
Modeling and Analysis of Elevator System Based on Timed-Coloured Petri Net
Zong Qun、 Dou Liqian、 Cheng Yiju
根据时间Petri网和有色Petri网的知识,提出了基于时间-有色Petri网(TCPN)的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度,控制命令是由与电梯运行状态相应的颜色集组成。最后举例说明此模型可在单台电梯控制系统和电梯群控系统中应用。
In this paper, an elevator running model based on timed-coloured Petri net is proposed. The running of elevator is classified according to the model. The running of elevator is controlled by the command of controller. And the command of controller is composed of the color aggregates which have a connection with the running states of elevator. In the end, an example of the application of the model in single elevator system and the elevator group control system is given.
Petri网 / 时间-有色Petri网 / 电梯模型 / 电梯运行
Petri net / timed-coloured Petri net / the model of elevator / the running of elevator
/
〈 |
|
〉 |