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

 Наукова періодика України 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"