Actions
Task #5473
closedНепонятные места в описании Веронского метода
Start date:
12/10/2014
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Published in build:
Description
В Wiki присутствует следующая фраза:
строится ограничение в виде конъюнкции действия перехода t и условие срабатывания t и целевого перехода;
Непонятно, что она означает. Гипотеза:
строится конъюнкция условия срабатывания перехода t и слабейшего предусловия действия перехода t относительно условия срабатывания целевого перехода;
Предлагаю еще раз посмотреть описание алгоритма. Возможно, следует ввести обозначения для его более компактной и наглядной записи.
Actions