Constructor and Description |
---|
UnfoldingNetConnection(PetrinetGraph originalNet,
Marking originalMarking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
PetrinetGraph prefixNet,
CTMarking prefixMarking) |
Constructor and Description |
---|
CoverabilitySet(CTMarking[] markings) |
Modifier and Type | Method and Description |
---|---|
CTMarking |
CTMarking.transformToOmega(java.util.Collection<Place> reference)
transform all places in this CTMarking into omega.
|
Modifier and Type | Method and Description |
---|---|
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.
|
Constructor and Description |
---|
CTMarking(CTMarking collection)
Constructor with marking parameter
|