Modeling a distributed railway interlocking system with object-oriented Petri nets
Xinhong Hei, H. Mochizuki, Satoshi Takahashi, H. Nakamura, Mitsuyoshi Fukuda, K. Iwata, Kazutoshi Sato · WIT transactions on the built environment · 2006
Great progress of distributed technology and intelligent terminals makes it possible to develop a distributed railway interlocking system (DRIS).In this paper, a modelling method of DRIS is presented by using G-nets, which are Petri nets extended with object-oriented concepts.The modelling method improves maintenance and reusability remarkably.Based on the models, the DRIS can be implemented with an object-oriented language such as C++ or JAVA.