摘要
引入一种含过程和控制库所的Petri网模型,增强了Petri网的表述能力,扩展了Petri网的应用范围,并以铁路车站信号联锁逻辑中的进路控制为背景,较详细地给出了该类Petri网模型的实际应用。
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.
出处
《计算机应用》
CSCD
北大核心
2005年第6期1410-1413,共4页
journal of Computer Applications
基金
铁道部科技开发项目(2004X005)
