org.processmining.acceptingpetrinet.models.impl

Class AcceptingPetriNetImpl

java.lang.Object

org.processmining.acceptingpetrinet.models.impl.AcceptingPetriNetImpl

All Implemented Interfaces:

AcceptingPetriNet

public class AcceptingPetriNetImpl
extends java.lang.Object
implements AcceptingPetriNet

Field Summary

Fields

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

Constructor Summary

Constructors

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)

Method Summary

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.

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

net

protected org.processmining.models.graphbased.directed.petrinet.Petrinet net

initialMarking

protected org.processmining.models.semantics.petrinet.Marking initialMarking

finalMarkings

protected java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings

Constructor Detail

AcceptingPetriNetImpl

@Deprecated
protected AcceptingPetriNetImpl()

Deprecated.

AcceptingPetriNetImpl

public AcceptingPetriNetImpl(org.processmining.models.graphbased.directed.petrinet.Petrinet net)

AcceptingPetriNetImpl

public AcceptingPetriNetImpl(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                             org.processmining.models.semantics.petrinet.Marking initialMarking,
                             org.processmining.models.semantics.petrinet.Marking... finalMarkings)

AcceptingPetriNetImpl

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)

AcceptingPetriNetImpl

public AcceptingPetriNetImpl(org.processmining.framework.plugin.PluginContext context,
                             org.processmining.models.graphbased.directed.petrinet.Petrinet net)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

exportToOldFile

@Deprecated
public void exportToOldFile(org.processmining.framework.plugin.PluginContext context,
                                        java.io.File file)
                                 throws java.io.IOException

Deprecated.

Throws:

java.io.IOException

exportToFile

public void exportToFile(org.processmining.framework.plugin.PluginContext context,
                         java.io.File file)
                  throws java.io.IOException

Specified by:

exportToFile in interface AcceptingPetriNet

Throws:

java.io.IOException

getFinalMarkings

public java.util.Set<org.processmining.models.semantics.petrinet.Marking> getFinalMarkings()

Description copied from interface: AcceptingPetriNet

Returns the current set of final markings.

Specified by:

getFinalMarkings in interface AcceptingPetriNet

Returns:

The current set of final markings.

getInitialMarking

public org.processmining.models.semantics.petrinet.Marking getInitialMarking()

Description copied from interface: AcceptingPetriNet

Returns the current initial marking.

Specified by:

getInitialMarking in interface AcceptingPetriNet

Returns:

The current initial marking.

getNet

public org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()

Description copied from interface: AcceptingPetriNet

Returns the Petri net.

Specified by:

getNet in interface AcceptingPetriNet

Returns:

The Petri net.

importFromStream

@Deprecated
public void importFromStream(org.processmining.framework.plugin.PluginContext context,
                                         java.io.InputStream input)
                                  throws java.lang.Exception

Deprecated.

Specified by:

importFromStream in interface AcceptingPetriNet

Throws:

java.lang.Exception

init

@Deprecated
public void init(org.processmining.models.graphbased.directed.petrinet.Petrinet net)

Deprecated.

Specified by:

init in interface AcceptingPetriNet

init

@Deprecated
public void init(org.processmining.framework.plugin.PluginContext context,
                             org.processmining.models.graphbased.directed.petrinet.Petrinet net)

Deprecated.

Specified by:

init in interface AcceptingPetriNet

setFinalMarkings

public void setFinalMarkings(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings)

Description copied from interface: AcceptingPetriNet

Set the set of final markings to the given set of markings. By default, this set contains a marking for every sink place, where the sink place is marked once in that marking.

Specified by:

setFinalMarkings in interface AcceptingPetriNet

Parameters:

finalMarkings - The set of final markings.

setInitialMarking

public void setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking)

Description copied from interface: AcceptingPetriNet

Set the initial marking to the given marking. By default, the marking where every source place contains one token is the initial marking.

Specified by:

setInitialMarking in interface AcceptingPetriNet

Parameters:

initialMarking - The given initial marking.