Package ca.mcgill.lmp.finite

Class Summary
Bisim Bisim encapsulates all the information required to run the bisim() algorithm.
Label A representation of a label in a LMP system.
LMP A representation of a finite LMP.
State A state in a LMP.
TransitionMatrix A transition matrix.