Create Check/Bisimulation item
Add an menu item within Check, called “Bisimulation”
This should allow me to access a specialised version of the MTS/Refinement menu item.
I’d like to be asked to select two processes for checking bisimulation. I want to select them from the list of processes that are part of the current composite process.
I should be able to select between checking weak or strong bisimulation.
When pressing the “check” button the same functionality as in MTS/Refinement should be executed, assuming the “check both directions” box is checked and using strong or weak semantics depending on wether the user selected strong or weak bisimulation.