Abstract:  Petri nets, as a practical formal language to describe asynchronous concurrent systems, are widely used in many fields, and its formal analysis methods are convenient for computer aided analysis of complex systems. The classical Petri nets which have simplex place type have some restrictions in many application area. Petri net model with process and control places was introduced in this paper, which improved the modelling ability of Petri net and extends its application areas, and its application based on the logics of routing of railway station was also depicted.

Key words: Petri net, hierarchical colored-Petri net, railway signal interlocking

摘要： 引入一种含过程和控制库所的Petri网模型,增强了Petri网的表述能力,扩展了Petri网的应用范围,并以铁路车站信号联锁逻辑中的进路控制为背景,较详细地给出了该类Petri网模型的实际应用。

关键词: Petri网, 层次Petri网, 计算机联锁