ptolemy.domains.modal.modal.ModalRefinementPort
Below are demonstration models that use ptolemy.domains.modal.modal.ModalRefinementPort
ptolemy/demo/ElectricPowerSystem/GeneratorRegulatorProtectorWithSpecificationAsAspect.xml#SpecificationMonitor.SpecificationMonitor.no fault
ptolemy/demo/ElectricPowerSystem/GeneratorRegulatorProtectorWithSpecification.xml#SpecificationMonitor.no fault