Uses of Class
org.processmining.models.semantics.petrinet.CTMarking

Packages that use CTMarking

org.processmining.models.connections.petrinets.behavioral
org.processmining.models.graphbased.directed.petrinet.analysis
org.processmining.models.semantics.petrinet

Uses of CTMarking in org.processmining.models.connections.petrinets.behavioral

Constructors in org.processmining.models.connections.petrinets.behavioral with parameters of type CTMarking

UnfoldingNetConnection(PetrinetGraph originalNet, Marking originalMarking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, PetrinetGraph prefixNet, CTMarking prefixMarking)

Uses of CTMarking in org.processmining.models.graphbased.directed.petrinet.analysis

Constructors in org.processmining.models.graphbased.directed.petrinet.analysis with parameters of type CTMarking

CoverabilitySet(CTMarking[] markings)

Uses of CTMarking in org.processmining.models.semantics.petrinet

Methods in org.processmining.models.semantics.petrinet that return CTMarking

CTMarking

CTMarking.transformToOmega(java.util.Collection<Place> reference) transform all places in this CTMarking into omega.

Methods in org.processmining.models.semantics.petrinet with parameters of type CTMarking

Marking	CTMarking.minus(CTMarking m) removes the elements in the given multiset from this multiset and returns a multiset indicating what was removed.
boolean	CTMarking.retainAll(CTMarking c) Keeps all elements of the given collection in this multiset.

Constructors in org.processmining.models.semantics.petrinet with parameters of type CTMarking

CTMarking(CTMarking collection)
Constructor with marking parameter