Với một hệ thống chuyển tiếp nhãn , nơi S là một tập hợp của các quốc gia, Λ là một tập hợp nhãn và → ⊆ S × Λ × S là một ternary mối quan hệ. Như thường lệ, viết p α → q cho ( p , α , q ) ∈ → . Quá trình chuyển đổi được gắn nhãn p α → q biểu thị rằng hệ thống ở trạng thái p thay đổi trạng thái thành q với nhãn , có nghĩa là α là một số hành động quan sát được gây ra thay đổi trạng thái.
Bây giờ một mối quan hệ là một gọi là mô phỏng iff ∀ ( p , q ) ∈ R , nếu p alpha → p ' thì ∃ q ' ,
Một LTS được cho là mô phỏng cái khác nếu tồn tại mối quan hệ mô phỏng giữa chúng.
Tương tự như vậy, một mối quan hệ là một bisimulation iff ∀ ( p , q ) ∈ R , nếu p alpha → p ' thì ∃ q ' ,
Hai LTS được cho là bisimilar iff tồn tại sự phân chia giữa các không gian trạng thái của chúng.
Rõ ràng hai khái niệm này khá liên quan, nhưng chúng không giống nhau.
Trong những điều kiện nào thì trường hợp một LTS mô phỏng người khác và ngược lại, nhưng hai LTS đó không giống nhau?