Package org.processmining.modelrepair.plugins.uma

Class DNodeSys_PtNet

  • public class DNodeSys_PtNet
extends hub.top.uma.DNodeSys
    A DNodeSys representation of a Petri net for constructing a McMillan prefix of the Petri net. This class is used in DNodeBP.
    Author:
    Dirk Fahland

    • Nested Class Summary

      • Nested classes/interfaces inherited from class hub.top.uma.DNodeSys

        hub.top.uma.DNodeSys.EventPreSet

    • Field Summary

      Fields 
      Modifier and Type Field Description
      java.util.HashSet<java.lang.Short> terminalNodes
      All nodes corresponding to nodes of the original Petri net without successor.

      • Fields inherited from class hub.top.uma.DNodeSys

        currentNameID, eventPreSetAbstraction, eventPreSetIDs, fireableEventIndex, fireableEvents, hasDynamicSynchronization, initialRun, maxHistoryDepth, NAME_TAU, nameToID, preConditions, preConEvents, properLabels, uniqueNames

    • Constructor Summary

      Constructors 
      Constructor Description
      DNodeSys_PtNet​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking)
      Construct DNodeSys from a Petri net.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected void finalize_setProperLabels()  
      java.lang.Object getOriginalNode​(hub.top.uma.DNode d)  
      java.lang.String getOriginalNodeLabel​(hub.top.uma.DNode d)  
      hub.top.uma.DNode getResultNode​(java.lang.Object n)  
      boolean isTerminal​(hub.top.uma.DNode d)  

      • Methods inherited from class hub.top.uma.DNodeSys

        finalize_generateIndexes, finalize_initialRun, finalize_setPreConditions, finalize_setProperNames, getEmbeddingVisitor, getInfo, getTransitionForID, init_setProperNames, toDot

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • terminalNodes

        public java.util.HashSet<java.lang.Short> terminalNodes
        All nodes corresponding to nodes of the original Petri net without successor.

    • Constructor Detail

      • DNodeSys_PtNet

        public DNodeSys_PtNet​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                      org.processmining.models.semantics.petrinet.Marking initMarking)
               throws hub.top.uma.InvalidModelException
        Construct DNodeSys from a Petri net. Every transition becomes a DNodeSys.fireableEvents, places are stored as corresponding pre- and post-conditions.
        Parameters:
        net -
        Throws:
        hub.top.uma.InvalidModelException

    • Method Detail

      • isTerminal

        public boolean isTerminal​(hub.top.uma.DNode d)
        Overrides:
        isTerminal in class hub.top.uma.DNodeSys
        Parameters:
        d -
        Returns:
        true iff the given node 'd' represents a Petri net place without successor, i.e. a structurally dead place.
        See Also:
        hub.top.greta.oclets.canonical.DNodeSys#isTerminal(hub.top.greta.oclets.canonical.DNode)

      • finalize_setProperLabels

        protected void finalize_setProperLabels()
        Specified by:
        finalize_setProperLabels in class hub.top.uma.DNodeSys

      • getOriginalNode

        public java.lang.Object getOriginalNode​(hub.top.uma.DNode d)
        Specified by:
        getOriginalNode in class hub.top.uma.DNodeSys

      • getOriginalNodeLabel

        public java.lang.String getOriginalNodeLabel​(hub.top.uma.DNode d)
        Specified by:
        getOriginalNodeLabel in class hub.top.uma.DNodeSys

      • getResultNode

        public hub.top.uma.DNode getResultNode​(java.lang.Object n)
        Specified by:
        getResultNode in class hub.top.uma.DNodeSys