public class PetrinetHelper
extends java.lang.Object
Constructor and Description |
---|
PetrinetHelper() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking> |
computeDual(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static boolean |
isWorkflowNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static andbur.hub.top.petrinet.PetriNet |
toPNAPIFormat(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initMarking) |
static andbur.hub.top.petrinet.PetriNet |
toPNAPIFormat(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initMarking,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,andbur.hub.top.petrinet.Transition> transitionMap) |
static org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking> |
unfold(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
unfoldPlugin(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
public static org.processmining.models.graphbased.directed.petrinet.Petrinet unfoldPlugin(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net) throws java.lang.Exception
java.lang.Exception
public static org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking> unfold(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net) throws java.lang.Exception
java.lang.Exception
public static org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking> computeDual(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static boolean isWorkflowNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static andbur.hub.top.petrinet.PetriNet toPNAPIFormat(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking)
public static andbur.hub.top.petrinet.PetriNet toPNAPIFormat(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking, java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,andbur.hub.top.petrinet.Transition> transitionMap)