Warning: session_start(): open(C:\Windows\temp\sess_e1162o0kghh16291vukmcot1f3, 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_e1162o0kghh16291vukmcot1f3, 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 Сети Петри: модификации и расширения

2.1.6. Упражнения

  1. Постройте граф состояний и последовательный граф состояний для ЭСС, показанной на рис. 2.1.
  2. Являются ли ЭСС, изображенные на рис. 2.19, структурно эквивалентными или эквивалентными?
  3. Преобразуйте ЭСС на рис. 2.22 в свободную от контактов.
  4. Докажите теорему 2.
  5. Докажите теорему 4.