public class HomeMarkingConnection extends MarkingsetNetConnection
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
INITIALMARKING |
MARKINGS, NET, SEMANTICS
Constructor and Description |
---|
HomeMarkingConnection(PetrinetGraph net,
Marking initial,
AbstractMarkingSet<?> marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
java.lang.String setName) |
isRemoved, putStrong
public static final java.lang.String INITIALMARKING
public HomeMarkingConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)