Should get_available_modes be influenced by inference

还没有人认领这个 Issue。

If we know through mode inference, that a certain state or mode of a (sub-)system can't be transitioned to, should `get_available_states` and `get_available_modes` of (sub-)systems report accordingly?

Example:
* Subsystem A contains several nodes, e.g., node B
* If node B transitions into `error_processing`, certain states and modes for subsystem A are not available until errors in node B are fixed
* `get_available_states` and `get_available_modes` of subsystem A only report states and modes that allow node B to be in error_processing, e.g., degraded modes

首先阅读入口点 get_available_states 和 get_available_modes，以及示例中描述的模式推断行为。确定对于父子系统，是否应过滤推断出的不可达状态和模式，包括 error_processing 情况。完成的条件是确定设计决策，并验证相应行为。

由索引模型根据 Issue 内容生成。