並行する状態領域は破線で区切り，初期疑似状態からの遷移にはトリガを付けません。 アは状態2の内部を二つの領域に分け，それぞれの初期遷移をトリガなしで示しています。 二つの並行領域を区切る破線がありません。 初期疑似状態からの遷移にトリガ1が指定されています。 領域を区切る破線がなく，初期遷移にもトリガ1が指定されています。