Я не уверен, как работать с ошибками прогресса, и я получаю эту ошибку
"ERROR line:6 - identifier, label set or range expected".
Вот мой код, и я пытаюсь создатьсвойство прогресса, которое утверждает, что автомобили в конечном итоге въезжают на парковку.
property OVERFLOW(N=4) = OVERFLOW[0],
OVERFLOW[i:0..N] = (arrive -> OVERFLOW[i+1] |
depart -> OVERFLOW[i-1] ).
||CHECK_CARPARK = (OVERFLOW(3) || CARPARK). /* try safety check with OVERFLOW(3) */
progress ENTER = {arrive}.
||LIVE_CARPARK = (CARPARK) >>{depart}.
Я попытался изменить синтаксис и добавить . в некоторых местах.