ptolemy.domains.modal.modal.TransitionRefinement
Below are demonstration models that use ptolemy.domains.modal.modal.TransitionRefinement
ptolemy/domains/modal/demo/StateTracker/StateTracker.xml#modal model
ptolemy/domains/modal/demo/ModalBSC/ModalBSC.xml#ModalBinarySymmetricChannel