Petri net tool for the construction of street networks | IEEE Conference Publication | IEEE Xplore