import { PetriNet } from './coloredPetriNets.js';
declare enum ValueExplorationStrategies {
    STATIC = "static",
    DYNAMIC = "dynamic"
}
declare class ValueExplorer {
    rollOutNet(net: PetriNet, options: {
        strategy: ValueExplorationStrategies;
    }): PetriNet;
}
export { ValueExplorationStrategies, ValueExplorer, };