Доброго времени суток господа. Я студент-заочник. Задали нам по "Тории вычислительных систем" контрольную работу, среди прочих заданий есть такое: написать СЕТИ ПЕТРИ для следующих формул
- Коммутативность операций наложения и исключения: (A,B)=(B,A)
- Ассоциативность бинарных операций: ((A,B),C)=(A,(B,C))
- Дистрибутивность операций: A;(B,C)=(A;B),(A;C)
- Рефлексивность операций наложения: (A,A)=A
- Свойства операции разметки: n(A,B)=(nA,nB)
Я все задания сделал кроме этого, а здавать надо в понедельник, так что на самостоятельное изучение времени нет. Просьба откликнуться кто может, буду благодарен если кто-то объяснит как решать. Извеняюсь. конечно, что к асперантам залез. Ну, вроде всё, всем зарание огромное спасибо.
// Здесь форум аспирантов. Перенесено в флейм. Закрыто. Jacky