public class UnfoldingNetConnection extends AbstractSemanticConnection
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
PREFIXMARK |
static java.lang.String |
PREFIXNET |
static java.lang.String |
PREFIXNET_OMEGA |
MARKING, NET, SEMANTICS
Constructor and Description |
---|
UnfoldingNetConnection(PetrinetGraph originalNet,
Marking originalMarking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
PetrinetGraph prefixNet)
connect Petri net to its finite complete prefix
|
UnfoldingNetConnection(PetrinetGraph originalNet,
Marking originalMarking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
PetrinetGraph prefixNet,
CTMarking prefixMarking) |
UnfoldingNetConnection(PetrinetGraph originalNet,
Marking originalMarking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
PetrinetGraph prefixNet,
Marking prefixMarking)
connect Petri net to its finite complete prefix
|
getSemantics
isRemoved, putStrong
public static final java.lang.String PREFIXNET
public static final java.lang.String PREFIXNET_OMEGA
public static final java.lang.String PREFIXMARK
public UnfoldingNetConnection(PetrinetGraph originalNet, Marking originalMarking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, PetrinetGraph prefixNet, CTMarking prefixMarking)
public UnfoldingNetConnection(PetrinetGraph originalNet, Marking originalMarking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, PetrinetGraph prefixNet, Marking prefixMarking)
originalNet
- originalMarking
- semantics
- prefixNet
- prefixMarking
- public UnfoldingNetConnection(PetrinetGraph originalNet, Marking originalMarking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, PetrinetGraph prefixNet)
originalNet
- originalMarking
- semantics
- prefixNet
-