Reachability problem: история изменений

Перейти к навигации Перейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

21 июня 2011

  • текущ.пред. 13:1413:14, 21 июня 2011Glk обсуждение вклад 771 байт +771 Новая страница: «'''Reachability problem''' --- проблема достижимости (разметки). The '''reachability problem''' for Petri nets consists in finding an al…»