General untimed Petri net models for the general components of automatic transport systems with accumulation areas | IEEE Conference Publication | IEEE Xplore