bisim [optionalArguments] <inputFile>
Bisim takes the description of a LMP as input and outputs
a LMP obtained by quotienting the input LMP by the
equivalence relation of bisimulation
First argument: the path to a file describing a LMP
Optional arguments:
--transitions Output the transition matrices of the new LMP
--sets Output the set D1 used in an intermediate step
The LMP should be described using the following specification:
The description should be a list of transition matrices
(one per label) separated by the "\n*\n" string.