org.processmining.acceptingpetrinet.utils

Class PetriNetUtils

java.lang.Object

org.processmining.acceptingpetrinet.utils.PetriNetUtils

public class PetriNetUtils
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PetriNetUtils()

Method Summary

Modifier and Type	Method and Description
static org.processmining.models.semantics.petrinet.Marking	apply(org.processmining.models.semantics.petrinet.Marking marking, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> map)
static java.util.Set<org.processmining.models.semantics.petrinet.Marking>	apply(java.util.Set<org.processmining.models.semantics.petrinet.Marking> markings, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> map)
static org.processmining.models.graphbased.directed.petrinet.Petrinet	cloneNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap)
static org.processmining.models.graphbased.directed.petrinet.Petrinet	cloneNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Arc,org.processmining.models.graphbased.directed.petrinet.elements.Arc> arcMap)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PetriNetUtils

public PetriNetUtils()

Method Detail

cloneNet

public static org.processmining.models.graphbased.directed.petrinet.Petrinet cloneNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                      java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
                                                                                      java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap)

cloneNet

public static org.processmining.models.graphbased.directed.petrinet.Petrinet cloneNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                      java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
                                                                                      java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
                                                                                      java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Arc,org.processmining.models.graphbased.directed.petrinet.elements.Arc> arcMap)

apply

public static org.processmining.models.semantics.petrinet.Marking apply(org.processmining.models.semantics.petrinet.Marking marking,
                                                                        java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> map)

apply

public static java.util.Set<org.processmining.models.semantics.petrinet.Marking> apply(java.util.Set<org.processmining.models.semantics.petrinet.Marking> markings,
                                                                                       java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> map)