|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |