Jiacun Wang Chun Jin Yi Deng Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models. 436-441 1999 conf/compsac/1999 COMPSAC http://computer.org/proceedings/compsac/0368/03680436abs.htm db/conf/compsac/compsac1999.html#WangJD99