a |-x-> b
b |-y-> bot
a |-x-> c
c |-y-> bot
This is a tool for testing algorithms concerning coupled similarity / the coupled simulation preorder in the context of Benjamin Bisping's master's thesis "Computing Coupled Similarity".
Coupled Simulation is a comparably coarse notion of equivalence for transition systems with silent/internal transitions ("tau"-transitions). Still, it coincides with bisimulation if all transitions are visible.
The Coupled Sim Fiddle is developed at MTV TU Berlin by: