public class PN2DfgTransform
extends java.lang.Object
Constructor and Description |
---|
PN2DfgTransform() |
Modifier and Type | Method and Description |
---|---|
static void |
addDirectFollow(org.processmining.plugins.InductiveMiner.dfgOnly.Dfg dfg,
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg)
we have modification to deal with silent transitions.
|
static void |
addStartEnd(org.processmining.plugins.InductiveMiner.dfgOnly.Dfg dfg,
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg,
org.processmining.models.graphbased.directed.transitionsystem.StartStateSet startStates,
org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet acceptingStates) |
static void |
setCardinality(org.processmining.plugins.InductiveMiner.dfgOnly.Dfg dfg,
long cardinality) |
static org.processmining.plugins.InductiveMiner.dfgOnly.Dfg |
transformPN2Dfg(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking) |
public static org.processmining.plugins.InductiveMiner.dfgOnly.Dfg transformPN2Dfg(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public static void addStartEnd(org.processmining.plugins.InductiveMiner.dfgOnly.Dfg dfg, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg, org.processmining.models.graphbased.directed.transitionsystem.StartStateSet startStates, org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet acceptingStates)
public static void addDirectFollow(org.processmining.plugins.InductiveMiner.dfgOnly.Dfg dfg, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg)
dfg
- rg
- public static void setCardinality(org.processmining.plugins.InductiveMiner.dfgOnly.Dfg dfg, long cardinality)