Michel dos Santos Soares, Jos L. M. Vrancken. Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic. In Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2007, London, UK, 15-17 April 2007. pages 169-174, IEEE, 2007. [doi]
Abstract is missing.