Class PetrinetFactory


  • public class PetrinetFactory
    extends java.lang.Object
    • Method Detail

      • newPetrinet

        public static Petrinet newPetrinet​(java.lang.String label)
      • newResetNet

        public static ResetNet newResetNet​(java.lang.String label)
      • newInhibitorNet

        public static InhibitorNet newInhibitorNet​(java.lang.String label)
      • newResetInhibitorNet

        public static ResetInhibitorNet newResetInhibitorNet​(java.lang.String label)
      • clonePetrinet

        public static Petrinet clonePetrinet​(Petrinet net,
                                             java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,​org.processmining.models.graphbased.directed.DirectedGraphElement> map)
      • cloneResetNet

        public static ResetNet cloneResetNet​(ResetNet net,
                                             java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,​org.processmining.models.graphbased.directed.DirectedGraphElement> map)
      • cloneInhibitorNet

        public static InhibitorNet cloneInhibitorNet​(InhibitorNet net,
                                                     java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,​org.processmining.models.graphbased.directed.DirectedGraphElement> map)
      • cloneResetInhibitorNet

        public static ResetInhibitorNet cloneResetInhibitorNet​(ResetInhibitorNet net,
                                                               java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,​org.processmining.models.graphbased.directed.DirectedGraphElement> map)