@Deprecated public class AcceptingPetriNetImpl extends java.lang.Object implements AcceptingPetriNet
Modifier | Constructor and Description |
---|---|
protected |
AcceptingPetriNetImpl()
Deprecated.
|
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.
|
public void init(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
AcceptingPetriNet
init
in interface AcceptingPetriNet
net
- The given Petri net.public void init(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
init
in interface AcceptingPetriNet
public void setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking)
AcceptingPetriNet
setInitialMarking
in interface AcceptingPetriNet
initialMarking
- The given initial marking.public void setFinalMarkings(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings)
AcceptingPetriNet
setFinalMarkings
in interface AcceptingPetriNet
finalMarkings
- The set of final markings.public org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
AcceptingPetriNet
getNet
in interface AcceptingPetriNet
public org.processmining.models.semantics.petrinet.Marking getInitialMarking()
AcceptingPetriNet
getInitialMarking
in interface AcceptingPetriNet
public java.util.Set<org.processmining.models.semantics.petrinet.Marking> getFinalMarkings()
AcceptingPetriNet
getFinalMarkings
in interface AcceptingPetriNet
public void importFromStream(org.processmining.framework.plugin.PluginContext context, java.io.InputStream input) throws java.lang.Exception
importFromStream
in interface AcceptingPetriNet
java.lang.Exception
public void exportToFile(org.processmining.framework.plugin.PluginContext context, java.io.File file) throws java.io.IOException
exportToFile
in interface AcceptingPetriNet
java.io.IOException