Аннотація | В роботі дано короткий огляд сучасного стану мереж, що орієнтовані на формальний опис складних систем з метою побудови інформативних імітаційних моделей. Обґрунтовано необхідність подальшого розвитку мережних засобів для підвищення адекватності моделей складних систем. Розглянуто статичні характеристики мереж для формального опису систем з асинхронною взаємодією процесів. Опис динаміки даного типу мереж виконано з застосуванням апарату алгебри процесів та дано означення допустимих видів взаємодії. Наведено приклади опису процесів і їх взаємодії. |