import { Place, Transition, Token, Move, Marking, PetriNet } from "./coloredPetriNets";
import { TransitionPlusPlus, PrintLnTransitionPlusPlus, CallTransitionPlusPlus, ReturnTransitionPlusPlus, StartAgentTransitionPlusPlus, JoinTransitionPlusPlus, InitChanTransitionPlusPlus, SendTransitionPlusPlus, ReceiveTransitionPlusPlus, DefaultTransitionPlusPlus, GlobalReadTransitionPlusPlus, GlobalWriteTransitionPlusPlus, MutexInitTransitionPlusPlus, MutexLockTransitionPlusPlus, MutexUnlockTransitionPlusPlus } from "./coloredPetriNetsPlusPlus";
import { ValueExplorationStrategies, ValueExplorer } from "./coloredPetriNetsProcessor";
import { crossProduct, mergeEnvironments, NameSuggester } from "./utils";
import { parseExpression, parsePattern } from "./colorExpressionsParser";
declare const coloredPetriNetsPlusPlusCompiler: {
    compile: (input: PetriNet) => PetriNet;
};
export { parseExpression, parsePattern, Place, Transition, Token, Move, Marking, PetriNet, TransitionPlusPlus, PrintLnTransitionPlusPlus, CallTransitionPlusPlus, ReturnTransitionPlusPlus, StartAgentTransitionPlusPlus, JoinTransitionPlusPlus, InitChanTransitionPlusPlus, SendTransitionPlusPlus, ReceiveTransitionPlusPlus, DefaultTransitionPlusPlus, GlobalReadTransitionPlusPlus, GlobalWriteTransitionPlusPlus, MutexInitTransitionPlusPlus, MutexLockTransitionPlusPlus, MutexUnlockTransitionPlusPlus, coloredPetriNetsPlusPlusCompiler, ValueExplorationStrategies, ValueExplorer, crossProduct, mergeEnvironments, NameSuggester };