need to think a bit about what information is really needed in the instance model to analyze mode transitions. The full connections may not be needed, it's possible that the source port of the event that triggers the transition is enough. Currently that information isn't in the instance model, though. The code to create mode transition connections is still there but it doesn't do anything because of some unrelated change.
need to think a bit about what information is really needed in the instance model to analyze mode transitions. The full connections may not be needed, it's possible that the source port of the event that triggers the transition is enough. Currently that information isn't in the instance model, though. The code to create mode transition connections is still there but it doesn't do anything because of some unrelated change.