Class ExpandProcessTree


  • public class ExpandProcessTree
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String complete  
      static java.lang.String start  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static Pair<org.processmining.processtree.ProcessTree,​java.util.Map<org.processmining.processtree.conversion.ProcessTree2Petrinet.UnfoldedNode,​org.processmining.processtree.conversion.ProcessTree2Petrinet.UnfoldedNode>> expand​(org.processmining.processtree.ProcessTree tree)
      Expands a collapsed process tree, i.e.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • ExpandProcessTree

        public ExpandProcessTree()
    • Method Detail

      • expand

        public static Pair<org.processmining.processtree.ProcessTree,​java.util.Map<org.processmining.processtree.conversion.ProcessTree2Petrinet.UnfoldedNode,​org.processmining.processtree.conversion.ProcessTree2Petrinet.UnfoldedNode>> expand​(org.processmining.processtree.ProcessTree tree)
        Expands a collapsed process tree, i.e. transforms all leaves a into seq(xor(tau, a+start), a+complete).
        Parameters:
        tree -
        Returns: