public class NonRelaxedSoundTransitionsConnection extends AbstractSemanticConnection
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
TRANSITIONS |
MARKING, NET, SEMANTICS
Constructor and Description |
---|
NonRelaxedSoundTransitionsConnection(Petrinet net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NonRelaxedSoundTransitionsSet causalNonRelaxedSoundTransitions) |
getSemantics
isRemoved, putStrong
public static final java.lang.String TRANSITIONS
public NonRelaxedSoundTransitionsConnection(Petrinet net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, NonRelaxedSoundTransitionsSet causalNonRelaxedSoundTransitions)