Check simulation and bisimulation of a Labeled Tansition System
LTS 1°
source
transition
target
+
LTS 2°
source
transition
target
+
Simulation
check simulation