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