public class DeadMarkingConnection extends AbstractSemanticConnection
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
DEADMARKINGS |
MARKING, NET, SEMANTICS
Constructor and Description |
---|
DeadMarkingConnection(PetrinetGraph net,
Marking initial,
org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet acceptingStates,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics) |
getSemantics
isRemoved, putStrong
public static final java.lang.String DEADMARKINGS
public DeadMarkingConnection(PetrinetGraph net, Marking initial, org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet acceptingStates, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)