Abstract:
Формалізовано процеси обробки вантажів на контейнерному терміналі морського порту через апарат темпоральної логіки, який дозволяє розподілити процеси, необхідні для оформлення вантажних партій на терміналі морському порту, відповідно до причинно-наслідкових зав’язків в часі. Практичне значення представленої формалізації надає уяву про алгоритм обробки вантажів, сприяє якісній постановці завдання на проєктування програмних рішень з обміну інформацією на контейнерних терміналах, які скорочують процес обробки вантажів шляхом спрощення документообігу
