Class StochasticNetDescriptor


  • public class StochasticNetDescriptor
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      StochasticNetDescriptor​(java.lang.String id, org.processmining.models.graphbased.directed.petrinet.StochasticNet net, org.processmining.models.semantics.petrinet.Marking initialMarking)  
      StochasticNetDescriptor​(java.lang.String id, org.processmining.models.graphbased.directed.petrinet.StochasticNet net, org.processmining.models.semantics.petrinet.Marking initialMarking, java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Set<org.processmining.models.semantics.petrinet.Marking> getFinalMarkings()  
      java.lang.String getId()  
      org.processmining.models.semantics.petrinet.Marking getInitialMarking()  
      org.processmining.models.graphbased.directed.petrinet.StochasticNet getNet()  
      • Methods inherited from class java.lang.Object

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

      • StochasticNetDescriptor

        public StochasticNetDescriptor​(java.lang.String id,
                                       org.processmining.models.graphbased.directed.petrinet.StochasticNet net,
                                       org.processmining.models.semantics.petrinet.Marking initialMarking)
      • StochasticNetDescriptor

        public StochasticNetDescriptor​(java.lang.String id,
                                       org.processmining.models.graphbased.directed.petrinet.StochasticNet net,
                                       org.processmining.models.semantics.petrinet.Marking initialMarking,
                                       java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings)
    • Method Detail

      • getId

        public java.lang.String getId()
      • getNet

        public org.processmining.models.graphbased.directed.petrinet.StochasticNet getNet()
      • getInitialMarking

        public org.processmining.models.semantics.petrinet.Marking getInitialMarking()
      • getFinalMarkings

        public java.util.Set<org.processmining.models.semantics.petrinet.Marking> getFinalMarkings()