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