An Untimed Petri Net Model for an Automatic Transport System with Accumulation Areas | IEEE Conference Publication | IEEE Xplore