org.processmining.prabhakardixit.fcnets.expansion

Class ParallelPlace

java.lang.Object

org.processmining.prabhakardixit.fcnets.expansion.ParallelPlace

public class ParallelPlace
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ParallelPlace()

Method Summary

Modifier and Type	Method and Description
static void	addParallelPlace(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tStartSet, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tEndSet, java.lang.String placeName, InteractivePetriNet ipn, int newPlaceID)
static void	addParallelPlace(org.processmining.models.graphbased.directed.petrinet.elements.Transition tStart, org.processmining.models.graphbased.directed.petrinet.elements.Transition tEnd, java.lang.String placeName, InteractivePetriNet ipn, int newPlaceID)
static void	updateLDSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranStart, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranEnd, InteractiveMatrixNet imn, org.processmining.models.graphbased.directed.petrinet.elements.Place pNew)

Methods inherited from class java.lang.Object

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

Constructor Detail

ParallelPlace

public ParallelPlace()

Method Detail

addParallelPlace

public static void addParallelPlace(org.processmining.models.graphbased.directed.petrinet.elements.Transition tStart,
                                    org.processmining.models.graphbased.directed.petrinet.elements.Transition tEnd,
                                    java.lang.String placeName,
                                    InteractivePetriNet ipn,
                                    int newPlaceID)

addParallelPlace

public static void addParallelPlace(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tStartSet,
                                    java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tEndSet,
                                    java.lang.String placeName,
                                    InteractivePetriNet ipn,
                                    int newPlaceID)

updateLDSets

public static void updateLDSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranStart,
                                java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranEnd,
                                InteractiveMatrixNet imn,
                                org.processmining.models.graphbased.directed.petrinet.elements.Place pNew)