public class NonLiveTransitionsConnection extends AbstractSemanticConnection
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
TRANSITIONS |
MARKING, NET, SEMANTICS| Constructor and Description |
|---|
NonLiveTransitionsConnection(PetrinetGraph net,
NonLiveTransitionsSet transitions,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics) |
getSemanticsisRemoved, putStrongpublic static final java.lang.String TRANSITIONS
public NonLiveTransitionsConnection(PetrinetGraph net, NonLiveTransitionsSet transitions, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)