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

java.lang.Object
  extended by org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter<java.lang.Integer>
      extended by org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableParameterInteger
          extended by org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableIntegerFeature<Place>
              extended by 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
ConfigurablePlaceMarking(java.lang.String id, Place element, java.lang.Integer min, java.lang.Integer max, java.lang.Integer defaultValue)
           
 
Method Summary
 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)