Timed Automaton and Petri Net models of Intersection Control.

Jana Flochov, Jn Pivarcek, Peter Kubanda

Browse the full CoDIT paper archive.