public abstract class MarkingsetNetConnection
extends org.processmining.framework.connections.impl.AbstractStrongReferencingConnection
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
MARKINGS |
static java.lang.String |
NET |
static java.lang.String |
SEMANTICS |
Constructor and Description |
---|
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.
|
isRemoved, putStrong
public static final java.lang.String NET
public static final java.lang.String MARKINGS
public static final java.lang.String SEMANTICS
public MarkingsetNetConnection(PetrinetGraph net, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)
net
- marking
-