Publisher
Springer International Publishing
Reference16 articles.
1. Giua, A., Seatzu, C.: Modeling and supervisory control of railway networks using Petri nets. IEEE Trans. Autom. Sci. Eng. 5(3), 431–445 (2008)
2. Ren, X., Zhou, M.C.: Tactical scheduling of rail operations: a Petri net approach. In: International Conference on Systems, Man and Cybernetics, Vancouver BC, Canada, pp. 3087–3092 (1995)
3. Hei, X., Takahashi, S., Nakamura, H.: Toward developing a decentralized railway signalling system using Petri nets. In: Conference on Robotics, Automation and Mechatronics, Chengdu, China, pp. 851–855 (2008)
4. LNCS;MM Hörste,1999
5. Hei, X., Takahashi, S., Nakamura, H.: Distributed interlocking system and its safety verifications. In: The 6th World Congress on Intelligent Control and Automation, Dalian, China, pp. 8612–8615 (2006)