public class ReplaySimOptimizer
extends java.lang.Object
Constructor and Description |
---|
ReplaySimOptimizer(JSOPetriNet pnet) |
Modifier and Type | Method and Description |
---|---|
JSOPnPlace |
getEndPlace(JSOSubNet sn) |
java.util.Vector<JSOPnPlace> |
getFollowingPlaces(JSOPnTransition t) |
JSOPnPlace |
getPlaceFor(org.processmining.models.graphbased.directed.petrinet.PetrinetNode p) |
java.util.Vector<JSOPnPlace> |
getPreceedingPlaces(JSOPnTransition t) |
JSOPnPlace |
getStartPlace(JSOSubNet sn) |
JSOSubNet |
getSubnetForTransition(JSOPnTransition t) |
public ReplaySimOptimizer(JSOPetriNet pnet)
public JSOPnPlace getPlaceFor(org.processmining.models.graphbased.directed.petrinet.PetrinetNode p)
public JSOSubNet getSubnetForTransition(JSOPnTransition t)
public JSOPnPlace getStartPlace(JSOSubNet sn)
public JSOPnPlace getEndPlace(JSOSubNet sn)
public java.util.Vector<JSOPnPlace> getPreceedingPlaces(JSOPnTransition t)
public java.util.Vector<JSOPnPlace> getFollowingPlaces(JSOPnTransition t)