Virtual Plant Design: Automatic Sortation and Warehouse System for Distribution Intralogistics based on Petri-Net Method | IEEE Conference Publication | IEEE Xplore