Text this: Modeling of an automated integral logistics system using colored petri nets