*Hi HSalim,
thank you again for answering!
HSalim wrote:
I am really hiding a lot of details to simplify the problem. For the
sake of this discussion, I think you can assume that states are shared
it doenst chance the cycle. (Just always assume constraints so that:
every state has exactly one process, every process has exactly one start
state)
I don't think the problem goes away with different designs at all. The
system-invariant does have a cycle:
1-*) Every process has exactly one start state
2-*) Every state has exactly one process
3-> Every process has one or more ...*

## Bookmarks