Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 13. Теория длительности и упорядочения