Package org.processmining.plugins.InductiveMiner.reduceacceptingpetrinet

Class MurataESTkeepLanguage

  • public class MurataESTkeepLanguage
extends java.lang.Object
    Reduce a Petri net using Murata's Fusion of Elimination of Self-Loop Transitions. However, preserve the language of the net, i.e. only remove invisible transitions. Adapted from Eric Verbeek's code in the Murata package of ProM.
    Author:
    sander

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static boolean reduce​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet anet, org.processmining.framework.packages.PackageManager.Canceller canceller)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • MurataESTkeepLanguage

        public MurataESTkeepLanguage()

    • Method Detail

      • reduce

        public static boolean reduce​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet anet,
                             org.processmining.framework.packages.PackageManager.Canceller canceller)