Каждое состояние (или график) имеет decomposition, который диктует, какие подсостояния состояние (или график) может содержать. Все подсостояния сверхдержавы должны иметь тот же тип как разложение сверхдержавы. Разложение состояния может быть исключительным (OR) или параллель (AND).
Подсостояния со сплошными границами указывают исключительный (OR) разложение состояния. Используйте это разложение, чтобы описать рабочие режимы, которые являются взаимоисключающими. Когда состояние имеет исключительный (OR) разложение, только одно подсостояние может быть активным за один раз.
В следующем примере, или утвердить A
или утвердить B
может быть активным. Если A
состояния является активный, или A1
состояния или A2
состояния, может быть активным в установленный срок.
Подсостояния с пунктирными границами указывают на параллель (AND) разложение. Используйте это разложение, чтобы описать параллельные рабочие режимы. Когда состояние имеет параллель (AND) разложение, все подсостояния активны одновременно.
В следующем примере, когда A
состояния активен, A1
и A2
оба активны одновременно.
Действие в параллельных состояниях чрезвычайно независимо, как продемонстрировано в следующем примере.
В следующем примере, когда A
состояния становится активным, оба состояния, B
и C
становятся активными одновременно. То, когда C
состояния становится активным, или C1
состояния или C2
состояния, может быть активным.