@inproceedings{c0dd4161becd406eaaf4790ed36f1a24,
title = "Road Trafic Signals Modelling and Analysis with petri nets and Linear Logic.",
keywords = "Conf.proc. > 3 pag",
author = "{Dos Santos Soares}, M and JLM Vrancken",
year = "2007",
language = "Undefined/Unknown",
isbn = "1-4244-1076-2",
publisher = "IEEE Systems Man and Cybernatic Society",
pages = "169--174",
editor = "Liu Guoping",
booktitle = "Proceedings of the 2007 IEEE International Conference on Networking, sensing and Control (ICNSC)",
note = "null ; Conference date: 15-04-2007 Through 17-04-2007",
}