import { PetriNet } from './coloredPetriNets';
declare const compile: (input: PetriNet) => PetriNet;
export { compile };