Warning: session_start(): open(C:\Windows\temp\sess_jrum39qlu74oeh24quitim53v7, O_RDWR) failed: No space left on device (28) in C:\www\lemma4.1php\login.php on line 15 Warning: session_commit(): open(C:\Windows\temp\sess_jrum39qlu74oeh24quitim53v7, O_RDWR) failed: No space left on device (28) in C:\www\lemma4.1php\login.php on line 36 Warning: session_commit(): Failed to write session data (files). Please verify that the current setting of session.save_path is correct (C:\Windows\temp) in C:\www\lemma4.1php\login.php on line 36 Сети Петри: модификации и расширения

3.1.4 Упражнения

  • Построить граф регионов НВСП, изображенной на рис. 3.8, относительно TCTL-формулы 3(s4s5).
  • Построить редуцированный граф регионов НВСП, изображенной на рис. 3.8, относительно TCTL-формулы 3(s4s5).
  • Проверить, удовлетворяет ли НВСП, изображенная на рис. 3.8, TCTL-формуле 3(s4s5).