Modeling and Development of Multi-agent Traffic Control Experimental System Based on Petri Net | IEEE Conference Publication | IEEE Xplore