A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints | IEEE Conference Publication | IEEE Xplore