特に正式検証の分野におけるコンピュータ科学では、構造化された移行システム（WSTS）は、国家間の一種の秩序の存在のために、多くの検証問題が決定可能な無限国家システムの一般的なクラスであるシステムの遷移と互換性がある。 WSTSの決定可能性の結果は、ペトリネット、ロッシーチャンネルシステムなどに適用できます。