Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic | IEEE Conference Publication | IEEE Xplore