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

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