public class TransitionInvariantCalculator
extends java.lang.Object
Constructor and Description |
---|
TransitionInvariantCalculator() |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.petrinet.analysis.TransitionInvariantSet |
calculate(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
Calculation of transition invariant marking This method is public in
order to enable invariant calculation as intermediate step
|
org.processmining.models.graphbased.directed.petrinet.analysis.TransitionInvariantSet |
calculateTransitionInvariant(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.InhibitorNet net) |
org.processmining.models.graphbased.directed.petrinet.analysis.TransitionInvariantSet |
calculateTransitionInvariant(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
public org.processmining.models.graphbased.directed.petrinet.analysis.TransitionInvariantSet calculateTransitionInvariant(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public org.processmining.models.graphbased.directed.petrinet.analysis.TransitionInvariantSet calculateTransitionInvariant(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net)
public org.processmining.models.graphbased.directed.petrinet.analysis.TransitionInvariantSet calculate(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
net
- net to be calculated