public class PetriNetIOObject extends AbstractRapidProMIOObject<org.processmining.models.graphbased.directed.petrinet.Petrinet>
Constructor and Description |
---|
PetriNetIOObject(org.processmining.models.graphbased.directed.petrinet.Petrinet t,
org.processmining.models.semantics.petrinet.Marking i,
org.processmining.models.semantics.petrinet.Marking f,
org.processmining.framework.plugin.PluginContext context) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.petrinet.Marking |
getFinalMarking() |
org.processmining.models.semantics.petrinet.Marking[] |
getFinalMarkingAsArray() |
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking() |
boolean |
hasFinalMarking() |
boolean |
hasInitialMarking() |
void |
setFinalMarking(org.processmining.models.semantics.petrinet.Marking marking) |
void |
setInitialMarking(org.processmining.models.semantics.petrinet.Marking marking) |
getArtifact, getPluginContext
getActions, getAnnotations, getName, getResultIcon, log, log, logError, logNote, logWarning, toHTML, toResultString
appendOperatorToHistory, copy, getLog, getProcessingHistory, getSource, read, read, read, read, setLoggingHandler, setSource, write
public PetriNetIOObject(org.processmining.models.graphbased.directed.petrinet.Petrinet t, org.processmining.models.semantics.petrinet.Marking i, org.processmining.models.semantics.petrinet.Marking f, org.processmining.framework.plugin.PluginContext context)
public org.processmining.models.semantics.petrinet.Marking getInitialMarking() throws javassist.tools.rmi.ObjectNotFoundException
javassist.tools.rmi.ObjectNotFoundException
public boolean hasInitialMarking()
public void setInitialMarking(org.processmining.models.semantics.petrinet.Marking marking)
public org.processmining.models.semantics.petrinet.Marking getFinalMarking() throws javassist.tools.rmi.ObjectNotFoundException
javassist.tools.rmi.ObjectNotFoundException
public boolean hasFinalMarking()
public org.processmining.models.semantics.petrinet.Marking[] getFinalMarkingAsArray() throws javassist.tools.rmi.ObjectNotFoundException
javassist.tools.rmi.ObjectNotFoundException
public void setFinalMarking(org.processmining.models.semantics.petrinet.Marking marking)