LTS 1°
source
transition
target
LTS 2°
source
transition
target
Simulation
submit the simulation (relation) as a list with just spaces between states
source
transition
target
source
transition
target
submit the simulation (relation) as a list with just spaces between states