このページを含むバージョン:
このページを含まないバージョン:
name が有効なトランジションの名前と一致するかどうか
name
形式は "CURRENT _STATE -> NEXT_ STATE" です