export declare const ReachabilityGraphElementType: {
    readonly ReachabilityGraphMarking: "ReachabilityGraphMarking";
};
export declare const ReachabilityGraphRelationshipType: {
    readonly ReachabilityGraphArc: "ReachabilityGraphArc";
};