Package org.processmining.plugins.petrinet.structuralanalysis.invariants

Class TransitionInvariantCalculator

  • public class TransitionInvariantCalculator
extends java.lang.Object
    This class is a plugin to calculate basis of semi-positive transition invariants of petri net and inhibitor net. Modified from TransitionInvariantCalculator class implemented in ProM 5
    Version:
    Oct 24, 2008
    Author:
    arya

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • TransitionInvariantCalculator

        public TransitionInvariantCalculator()

    • Method Detail

      • calculateTransitionInvariant

        public org.processmining.models.graphbased.directed.petrinet.analysis.TransitionInvariantSet calculateTransitionInvariant​(org.processmining.framework.plugin.PluginContext context,
                                                                                                                          org.processmining.models.graphbased.directed.petrinet.Petrinet net)

      • calculateTransitionInvariant

        public org.processmining.models.graphbased.directed.petrinet.analysis.TransitionInvariantSet calculateTransitionInvariant​(org.processmining.framework.plugin.PluginContext context,
                                                                                                                          org.processmining.models.graphbased.directed.petrinet.InhibitorNet net)

      • calculate

        public 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
        Parameters:
        net - net to be calculated
        Returns:
        TransitionInvariantSet set of transition invariant