Package org.processmining.implicitplaceidentification.algorithms

Class LanguageBasedImplicitPlaceFinder

  • public class LanguageBasedImplicitPlaceFinder
extends java.lang.Object
    This class identifies implicit places in a petri net by generating the language of the net (as well as possible) and comparing the language of a net without a particular place.

    • Constructor Summary

      Constructors 
      Constructor Description
      LanguageBasedImplicitPlaceFinder​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.semantics.petrinet.Marking initialMarking)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> find​(boolean simulatedRemovalFlag)
      Finds IPs by generating and comparing the language of the net and a net without a place p.

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • LanguageBasedImplicitPlaceFinder

        public LanguageBasedImplicitPlaceFinder​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                                        org.processmining.models.semantics.petrinet.Marking initialMarking)

    • Method Detail

      • find

        public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> find​(boolean simulatedRemovalFlag)
        Finds IPs by generating and comparing the language of the net and a net without a place p.
        Parameters:
        simulatedRemovalFlag - if set to true, the algorithm follows a greedy (not necessarily optimal) approach. All places returned by this approach can safely be removed. If set to false, it returns all possible IPs. The latter approach returns a set of places that might change the behavior of the net, when removed.
        Returns:
        a/the set of IPs depending on the set parameter