Modeling interactions in artificial transportation systems using petri net | IEEE Conference Publication | IEEE Xplore