Uses of Class
org.processmining.models.graphbased.directed.petrinet.analysis.AbstractMarkingSet

Packages that use AbstractMarkingSet

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

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

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

CoverabilitySetConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)

HomeMarkingConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)

MarkingsetNetConnection(PetrinetGraph net, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)
All markings contain only places from the net, i.e.

ReachabilitySetConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)

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

Subclasses of AbstractMarkingSet in org.processmining.models.graphbased.directed.petrinet.analysis

class	CoverabilitySet
class	FinalMarkingSet
class	HomeMarkingSet
class	ReachabilitySet