Semantic Foundation -- Mathematical Models of Autonomous Logistic Processes --