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

  1. На основе множества всех возможных последовательностей срабатываний РСП, показанной на рис. 3.12, построить направленный граф, вершины которого соответствуют маркировкам РСП, а дуги - отношению непосредственной достижимости (при этом дуги помечены шагами РСП).
  2. Построить по РСП, показанной на рис. 3.12, эквивалентную ей СП.
  3. Доказать теорему 35.
  4. Построить по СП, показанной на рис. 2.32, эквивалентную ей РСП при некоторых разбиениях множеств мест и переходов.