Uses of Class
org.processmining.framework.models.petrinet.Marking

Packages that use Marking
org.processmining.framework.models.petrinet   
 

Uses of Marking in org.processmining.framework.models.petrinet
 

Methods in org.processmining.framework.models.petrinet that return Marking
 Marking State.getMarking()
           
 

Methods in org.processmining.framework.models.petrinet with parameters of type Marking
 void Marking.add(Marking marking)
          Add a given marking
 boolean Marking.isLessOrEqual(Marking marking)
          Checks whether this marking is smaller than a given marking.
 void Marking.sub(Marking marking)
          Subtract a given marking