bisimulation in string diagrams

• bisimulation
• symmetric monoidal automata