Использование сетей Петри для синхронизации движения распределенной мобильной системыБелоусов, А.И200023 с.