Я хотел бы настроить защиту края следующим образом:
(turn % 4) == me
где turn — переменная часов, а me — целое число, представляющее процесс.
Пожалуйста, дайте мне пример того, как сделать защиту для вышеуказанного предиката.
Спасибо, Кевин
Пример UPPAAL по модулю
Ответы (1)
Мой ответ не полностью завершен (поэтому я не буду отмечать его как завершенный).
Однако, если у вас есть «часы x» и вы хотите, чтобы часы переходили от n --> 0, вы добавляете эту защиту к ребру.
if (x == n) ? 0 : x
person
Kevin Meredith
schedule
26.10.2012
