^^ Что касается приведенной выше модели, для контекста существует три действия, которые могут поставить проект на рассмотрение: инициировать обсуждение, обновить проект и выбрать поставщика.
Однако я сталкиваюсь с ограничением, когда обсуждение не может быть начато два раза подряд. Тем не менее, если я обновлю проект, а затем начну обсуждение, которое является абсолютно действительным, и оба эти действия приведут к одному и тому же состоянию: проект находится на рассмотрении.
Есть ли способ смоделировать конечный автомат таким образом, чтобы после начала обсуждения обсуждение снова не могло быть инициировано?
[UPDATE]
--- ВОЗМОЖНОЕ РЕШЕНИЕ ----
Можем ли мы смоделировать одно и то же состояние несколько раз, как показано ниже?
