Vit (26.10.2009 08:18, просмотров: 162) ответил Evgeny_CD на Я так догоняю, что Р-запись - это что-то типа сетей Петри?
Нет. Это просто другая форма записи. Рисуешь горизонтальную линию (стрелку), действия записываются под линией, там, где нужно условие, оно записывается над линией и под ним под линией действия по тру. При необходимости проверки нескольких условий и различных действий по ним - перед условиями от основной линии отводится перпендикуляр, а от него N горизонтальных линий с условиями/действиями (как было описано выше) - называем ветвлением. Условия проверяются по порядку сверху вниз. Одно НО - мы ввели знак временного выхода (yield()) и условия с таким выходом (ожидание с yield()) - первое обозначается точкой на горизонтальной линии, второе - точкой непосредственно перед ветвлением (если даже других проверок нет, то маленький перпендикуляр, пересекающий горизонтальную линию, рисуем). Ветки собираются подводом стрелки к горизонтальной или вертикальной линии. Всякие "специальные действия и специальные условия" мы (пока?) не используем и я не в курсе что они обозначают. Т.е. из якобы недостатков как бы отсутствие явной записи действий по фолсу, но компенсируется дефолтной веткой (без условий) при ветвлении, т.е. ветвление похоже на if else if, где последний if может отсутствовать - просто пропуск записи над горизонтальной линией.