Какова формула запроса ASK-CTL для иерархической модели сети Петри?

Question

Я пытаюсь проверить, выполняется ли этот предикат в иерархической модели сети Петри, но я получил ошибку, показанную на рисунке. Ошибка запроса ASK-CTL