@Deprecated
public interface AcceptingPetriNet
Modifier and Type | Method and Description |
---|---|
void |
exportToFile(org.processmining.framework.plugin.PluginContext context,
java.io.File file)
Deprecated.
|
java.util.Set<org.processmining.models.semantics.petrinet.Marking> |
getFinalMarkings()
Deprecated.
Returns the current set of final markings.
|
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking()
Deprecated.
Returns the current initial marking.
|
org.processmining.models.graphbased.directed.petrinet.Petrinet |
getNet()
Deprecated.
Returns the Petri net.
|
void |
importFromStream(org.processmining.framework.plugin.PluginContext context,
java.io.InputStream input)
Deprecated.
|
void |
init(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
Deprecated.
Initializes the AcceptingPetriNet with the given Petri net.
|
void |
init(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net)
Deprecated.
|
void |
setFinalMarkings(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings)
Deprecated.
Set the set of final markings to the given set of markings.
|
void |
setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking)
Deprecated.
Set the initial marking to the given marking.
|
void init(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
net
- The given Petri net.void init(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
void setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking)
initialMarking
- The given initial marking.void setFinalMarkings(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings)
finalMarkings
- The set of final markings.org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
org.processmining.models.semantics.petrinet.Marking getInitialMarking()
java.util.Set<org.processmining.models.semantics.petrinet.Marking> getFinalMarkings()
void importFromStream(org.processmining.framework.plugin.PluginContext context, java.io.InputStream input) throws java.lang.Exception
java.lang.Exception
void exportToFile(org.processmining.framework.plugin.PluginContext context, java.io.File file) throws java.io.IOException
java.io.IOException