Package org.processmining.stochasticlabelleddatapetrinet.pnadapater

Interface PetrinetConverter.PetrinetMarkedWithMappings

  • Enclosing class:
    PetrinetConverter
    public static interface PetrinetConverter.PetrinetMarkedWithMappings

    • Method Detail

      • getNet

        org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()

      • getInitialMarking

        org.processmining.models.semantics.petrinet.Marking getInitialMarking()

      • getFinalMarkings

        org.processmining.models.semantics.petrinet.Marking[] getFinalMarkings()

      • getTransitionIndexToId

        java.util.Map<java.lang.Integer,​java.lang.String> getTransitionIndexToId()