Package org.processmining.hybridminer.models.hybridpetrinet

Class HybridPetrinet

  • All Implemented Interfaces:
    java.lang.Cloneable, java.lang.Comparable<org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>>, org.processmining.models.graphbased.AttributeMapOwner, org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>, org.processmining.models.graphbased.directed.DirectedGraphElement, org.processmining.models.graphbased.directed.petrinet.Petrinet, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
    public class HybridPetrinet
extends org.processmining.models.graphbased.directed.petrinet.impl.PetrinetImpl
    Created by demas on 27/07/16.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      java.util.Collection<org.processmining.models.semantics.petrinet.Marking> finalMarkings  
      org.processmining.models.semantics.petrinet.Marking initialMarking  
      protected java.awt.Color sureColor  
      protected java.awt.Color surePlaceColor  
      protected java.awt.Color unsureColor  

      • Fields inherited from class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet

        arcs, inhibitorArcs, places, resetArcs, substitutionTransitions, transitions

      • Fields inherited from class org.processmining.models.graphbased.AbstractGraph

        id

    • Constructor Summary

      Constructors 
      Constructor Description
      HybridPetrinet​(java.lang.String label)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      org.processmining.models.graphbased.directed.petrinet.elements.Arc addArc​(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)  
      org.processmining.models.graphbased.directed.petrinet.elements.Arc addArc​(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.graphbased.directed.petrinet.elements.Place p)  
      org.processmining.models.graphbased.directed.petrinet.elements.Place addPlace​(java.lang.String label)  
      <N extends org.processmining.models.graphbased.directed.AbstractDirectedGraphNode>
      void      		 addPlaceFromPlaceEvaluation​(PlaceEvaluation<N> placeEval)  
      org.processmining.models.graphbased.directed.petrinet.elements.Arc addSureArc​(org.processmining.models.graphbased.directed.petrinet.elements.Transition s, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)  
      org.processmining.models.graphbased.directed.petrinet.elements.Transition addTransition​(java.lang.String label)
      We build fuzzyPetrinets with a heavy restriction: we do not ever have two transition with the same label.
      Edge addTransitionsArcFromFCGEdge​(HybridDirectedGraphEdge edge)  
      Edge addTransitionsArcFromFCGEdge​(HybridDirectedGraphEdge edge, int weight)  
      org.processmining.models.graphbased.directed.petrinet.elements.Arc addUnsureArc​(org.processmining.models.graphbased.directed.petrinet.elements.Transition s, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)  
      java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getInputNodes​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode target)  
      java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getOutputNodes​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode source)  
      org.processmining.models.graphbased.directed.petrinet.elements.Place getPlace​(java.lang.String label)
      Returns a place named label
      java.util.Collection<SureEdge> getSureArcs()
      CHIARA Returns the set of sure arcs
      java.awt.Color getSureColor()  
      java.awt.Color getSurePlaceColor()  
      org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition​(java.lang.String label)
      Returns a transition named label
      java.util.Collection<UncertainEdge> getUncertainArcs()
      CHIARA Returns the set of uncertain arcs
      java.awt.Color getUnsureColor()  
      void init()  
      void setColors()  
      void setColors​(java.awt.Color c1, java.awt.Color c2, java.awt.Color c3)  
      java.util.Collection<org.processmining.models.semantics.petrinet.Marking> setFinalMarkings()  
      org.processmining.models.semantics.petrinet.Marking setInitialMarking()  
      java.lang.String toString()  
      void updateSureColor​(java.awt.Color c)  
      void updateSurePlaceColor​(java.awt.Color c)  
      void updateUnsureColor​(java.awt.Color c)  

      • Methods inherited from class org.processmining.models.graphbased.directed.petrinet.impl.PetrinetImpl

        getEmptyClone

      • Methods inherited from class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet

        addArc, addArc, addArc, addArc, addArc, addArc, addArcPrivate, addGroup, addGroup, addInhibitorArc, addInhibitorArc, addInhibitorArc, addInhibitorArc, addPlace, addResetArc, addResetArc, addResetArc, addResetArc, addTransition, cloneFrom, cloneFrom, getArc, getEdges, getGroups, getInhibitorArc, getNodes, getPlaces, getResetArc, getTransitions, removeArc, removeEdge, removeGroup, removeInhibitorArc, removeNode, removePlace, removeResetArc, removeTransition

      • Methods inherited from class org.processmining.models.graphbased.directed.AbstractDirectedGraph

        checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges

      • Methods inherited from class org.processmining.models.graphbased.AbstractGraph

        equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection

      • Methods inherited from class org.processmining.models.graphbased.AbstractGraphElement

        getAttributeMap, getLabel

      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait

      • Methods inherited from interface org.processmining.models.graphbased.AttributeMapOwner

        getAttributeMap

      • Methods inherited from interface java.lang.Comparable

        compareTo

      • Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraph

        getEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNode

      • Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraphElement

        equals, getGraph, hashCode

      • Methods inherited from interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph

        addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addTransition, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransition

    • Field Detail

      • surePlaceColor

        protected java.awt.Color surePlaceColor

      • sureColor

        protected java.awt.Color sureColor

      • unsureColor

        protected java.awt.Color unsureColor

      • initialMarking

        public org.processmining.models.semantics.petrinet.Marking initialMarking

      • finalMarkings

        public java.util.Collection<org.processmining.models.semantics.petrinet.Marking> finalMarkings

    • Constructor Detail

      • HybridPetrinet

        public HybridPetrinet​(java.lang.String label)

    • Method Detail

      • setColors

        public void setColors()

      • setColors

        public void setColors​(java.awt.Color c1,
                      java.awt.Color c2,
                      java.awt.Color c3)

      • getOutputNodes

        public java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getOutputNodes​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode source)

      • getInputNodes

        public java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getInputNodes​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode target)

      • addTransition

        public org.processmining.models.graphbased.directed.petrinet.elements.Transition addTransition​(java.lang.String label)
        We build fuzzyPetrinets with a heavy restriction: we do not ever have two transition with the same label. For such a reason, when adding a new transition, we have to check if a transition with the same label is already present.
        Specified by:
        addTransition in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
        Overrides:
        addTransition in class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet
        Parameters:
        label - the name of the transition
        Returns:
        a new Transition if a transition with the same label DO NOT already exists, otherwise returns the already present transition.

      • addPlaceFromPlaceEvaluation

        public <N extends org.processmining.models.graphbased.directed.AbstractDirectedGraphNode> void addPlaceFromPlaceEvaluation​(PlaceEvaluation<N> placeEval)

      • getPlace

        public org.processmining.models.graphbased.directed.petrinet.elements.Place getPlace​(java.lang.String label)
        Returns a place named label
        Parameters:
        label -
        Returns:

      • getTransition

        public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition​(java.lang.String label)
        Returns a transition named label
        Parameters:
        label -
        Returns:

      • getSureArcs

        public java.util.Collection<SureEdge> getSureArcs()
        CHIARA Returns the set of sure arcs
        Returns:
        set of sure arcs

      • getUncertainArcs

        public java.util.Collection<UncertainEdge> getUncertainArcs()
        CHIARA Returns the set of uncertain arcs
        Returns:
        set of uncertain arcs

      • addPlace

        public org.processmining.models.graphbased.directed.petrinet.elements.Place addPlace​(java.lang.String label)
        Specified by:
        addPlace in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
        Overrides:
        addPlace in class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet

      • addArc

        public org.processmining.models.graphbased.directed.petrinet.elements.Arc addArc​(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
                                                                                 org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
        Specified by:
        addArc in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
        Overrides:
        addArc in class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet

      • addArc

        public org.processmining.models.graphbased.directed.petrinet.elements.Arc addArc​(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
                                                                                 org.processmining.models.graphbased.directed.petrinet.elements.Place p)
        Specified by:
        addArc in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
        Overrides:
        addArc in class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet

      • addSureArc

        public org.processmining.models.graphbased.directed.petrinet.elements.Arc addSureArc​(org.processmining.models.graphbased.directed.petrinet.elements.Transition s,
                                                                                     org.processmining.models.graphbased.directed.petrinet.elements.Transition t)

      • addUnsureArc

        public org.processmining.models.graphbased.directed.petrinet.elements.Arc addUnsureArc​(org.processmining.models.graphbased.directed.petrinet.elements.Transition s,
                                                                                       org.processmining.models.graphbased.directed.petrinet.elements.Transition t)

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class org.processmining.models.graphbased.AbstractGraphElement

      • getSurePlaceColor

        public java.awt.Color getSurePlaceColor()

      • getSureColor

        public java.awt.Color getSureColor()

      • getUnsureColor

        public java.awt.Color getUnsureColor()

      • updateSurePlaceColor

        public void updateSurePlaceColor​(java.awt.Color c)

      • updateSureColor

        public void updateSureColor​(java.awt.Color c)

      • updateUnsureColor

        public void updateUnsureColor​(java.awt.Color c)

      • setInitialMarking

        public org.processmining.models.semantics.petrinet.Marking setInitialMarking()

      • setFinalMarkings

        public java.util.Collection<org.processmining.models.semantics.petrinet.Marking> setFinalMarkings()

      • init

        public void init()