org.processmining.models.graphbased.directed.petrinet.configurable.elements

Class ConfigurablePlaceMarking

java.lang.Object

org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter<java.lang.Integer>

org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableParameterInteger

org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableIntegerFeature<Place>

org.processmining.models.graphbased.directed.petrinet.configurable.elements.ConfigurablePlaceMarking

All Implemented Interfaces:

ConfigurableFeature<Place,java.lang.Integer>, ParameterizedFeature<ConfigurableParameter<java.lang.Integer>>

public class ConfigurablePlaceMarking
extends ConfigurableIntegerFeature<Place>

Configures the number of tokens on a Place on the initial marking of a Petrinet.

Author:

dfahland

Constructor Summary

Constructors

Constructor and Description
ConfigurablePlaceMarking(java.lang.String id, Place element, java.lang.Integer min, java.lang.Integer max, java.lang.Integer defaultValue)

Method Summary

Modifier and Type	Method and Description
void	clearElementVisualization() Clear visual representation of ConfigurableFeature.getConfiguredElement() back to normal
ConfigurableFeature<Place,java.lang.Integer>	cloneFor(Place newElement) Create a clone of this feature using newElement as ConfigurableFeature.getConfiguredElement().
void	executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent) Set initial marking of configurable place in its parent net to the configured value.
static java.lang.String	generateID(org.processmining.models.graphbased.directed.DirectedGraphElement el)
boolean	isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
void	updateElementVisualization() Change visual representation of ConfigurableFeature.getConfiguredElement()

Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableIntegerFeature

getConfiguredElement, getId, getInputParameters, getInputParametersByName, getParameter, setInputParameter, updateValue

Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableParameterInteger

isValidIntervalValue

Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter

getDiscreteDomain, getIntervalMax, getIntervalMin, getValue, isIntervalDomain, isValidValue, setDiscreteDomain, setId, setIntervalDomain, setValue, updateParameter

Methods inherited from class java.lang.Object

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

Constructor Detail

ConfigurablePlaceMarking

public ConfigurablePlaceMarking(java.lang.String id,
                                Place element,
                                java.lang.Integer min,
                                java.lang.Integer max,
                                java.lang.Integer defaultValue)
                         throws InvalidConfigurationException

Throws:

InvalidConfigurationException

Method Detail

isStillExecutable

public boolean isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)

Returns:

true iff this configuration can be executed on the parent, e.g. if ConfigurableFeature.getConfiguredElement() is still an element of parent

executeConfiguration

public void executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)

Set initial marking of configurable place in its parent net to the configured value.

Parameters:

parent -

See Also:

org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableFeature#executeConfiguration(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph)

cloneFor

public ConfigurableFeature<Place,java.lang.Integer> cloneFor(Place newElement)
                                                      throws InvalidConfigurationException

Description copied from interface: ConfigurableFeature

Create a clone of this feature using newElement as ConfigurableFeature.getConfiguredElement().

Throws:

InvalidConfigurationException

updateElementVisualization

public void updateElementVisualization()

Description copied from interface: ConfigurableFeature

Change visual representation of ConfigurableFeature.getConfiguredElement()

clearElementVisualization

public void clearElementVisualization()

Description copied from interface: ConfigurableFeature

Clear visual representation of ConfigurableFeature.getConfiguredElement() back to normal

generateID

public static java.lang.String generateID(org.processmining.models.graphbased.directed.DirectedGraphElement el)