Yi-Shun Weng, Yi-Sheng Huang, Chia-Che Ho. Modelling of traffic safety control systems using timed Petri nets. In Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014, Miami, FL, USA, April 7-9, 2014. pages 138-143, IEEE, 2014. [doi]
Abstract is missing.