Статья посвящена алгоритмам синхронизации логических процессов для систем распределенного агентного моделирования. В работе предложен новый подход, основанный на знаниях об исследуемой модели, который действительно подтвердил свою эффективность на практике. Даны описания предлагаемых алгоритмов, область их применения, практические результаты, а также описан фрагмент онтологии, разработанной в поддержку предлагаемого метода.