เมื่อได้รับการเปลี่ยนระบบ โดยที่คือชุดของรัฐเป็นชุดของป้ายกำกับและเป็นความสัมพันธ์แบบไตรภาค ตามปกติการเขียนสำหรับ(P,การเปลี่ยนเลเบลแสดงว่าระบบในสถานะเปลี่ยนสถานะเป็นด้วยเลเบลซึ่งหมายความว่าเป็นการกระทำที่สังเกตได้ซึ่งทำให้เกิดการเปลี่ยนแปลงสถานะS Λ → ⊆ S × Λ × S P α → Q ( P , α , Q ) ∈ → P α →คิวพีคิวα α
ตอนนี้ความสัมพันธ์เรียกว่าการจำลอง iff
มีการกล่าวถึง LTS หนึ่งรายการเพื่อจำลองอีกแบบหนึ่งหากมีความสัมพันธ์แบบจำลองอยู่ระหว่างพวกเขา
ในทำนองเดียวกันความสัมพันธ์คือbisimulation iff start ถ้า พีอัลฟ่า→การ P ' แล้ว ∃ Q ' ,
LTS สองตัวถูกกล่าวว่าเป็น bisimilar ถ้ามี bisimulation ระหว่างพื้นที่ของรัฐ
เห็นได้ชัดว่าแนวคิดทั้งสองนี้เกี่ยวข้องกันมาก แต่ไม่เหมือนกัน
ภายใต้เงื่อนไขใดที่ LTS เลียนแบบอีกรูปแบบหนึ่งและในทางกลับกัน แต่ LTS สองรายการนั้นไม่มีความผิดปกติ?