Package org.processmining.implicitplaceidentification.algorithms

Class DecomposeAndConquerImplicitPlaceFinder

  • public class DecomposeAndConquerImplicitPlaceFinder
extends java.lang.Object
    This class implements an approach to identify implicit places in Petri nets that was developed by me (Tobias Wirtz) in my master thesis. This approach takes a sound workflow net (soundness is needed, workflow net might not be needed), decomposes it into subnets and uses existing implicit place identification methods to find implicit places that cannot be found by conventional approaches.

    The approach in a nutshell: - get T-nets induced by transitions at choices - for every t-net: - remove t-net from net - use conventional IP-finder on rest of net - record IPs of subnets - the cut of IPs across subnets is also implicit in the full net

    • Constructor Summary

      Constructors 
      Constructor Description
      DecomposeAndConquerImplicitPlaceFinder​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.semantics.petrinet.Marking initialMarking, org.deckfour.xes.model.XLog log, FindMode findMode)  
      DecomposeAndConquerImplicitPlaceFinder​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.semantics.petrinet.Marking initialMarking, FindMode findMode)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> findImplicitMinimalRegionsMaybeMore()
      Checks the output places of t-nets at choices for implicitness by decomposing the net.

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • DecomposeAndConquerImplicitPlaceFinder

        public DecomposeAndConquerImplicitPlaceFinder​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                                              org.processmining.models.semantics.petrinet.Marking initialMarking,
                                              org.deckfour.xes.model.XLog log,
                                              FindMode findMode)

      • DecomposeAndConquerImplicitPlaceFinder

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

    • Method Detail

      • findImplicitMinimalRegionsMaybeMore

        public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> findImplicitMinimalRegionsMaybeMore()
        Checks the output places of t-nets at choices for implicitness by decomposing the net. This is meant as a post-processing tool, since it only checks places that might not be identifiable by conventional approaches.
        Returns:
        a Set of implicit places