package jcircus.exceptions;


/**
 * ChanUseUnificationException.java
 *
 * @author Angela Freitas
 */
public class DifferentCardinalitiesException extends Exception {
    
    public DifferentCardinalitiesException() {
        super("Composite processes have different cardinalities.");
    }
}