|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
NetType
- the net base type made configurable by this netpublic interface ConfigurablePetrinet<NetType extends PetrinetGraph>
Configurable Petri net that builds on top of an existing class of Petri nets specified by parameter NetType. The contract with this interface is that any class that implements this interface als implements or extends NetType.
Method Summary | |
---|---|
void |
addConfigurableFeature(java.lang.String id,
ConfigurableFeature<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,?> feature)
Add a configurable feature to this net |
void |
addConfigurableFeatures(ConfigurableFeatureGroup group)
Add a configurable feature group to this net, |
void |
cloneFrom(ConfigurablePetrinet<NetType> net,
org.processmining.models.connections.GraphLayoutConnection oldLayout,
org.processmining.models.connections.GraphLayoutConnection newLayout)
|
void |
cloneFrom(NetType net,
Marking netMarking,
java.util.List<ConfigurableFeatureGroup> configurationOptions,
org.processmining.models.connections.GraphLayoutConnection oldLayout,
org.processmining.models.connections.GraphLayoutConnection newLayout)
Clone a configurable reset inhibitor net from an existing reset inhibitor net. |
void |
configure(java.util.List<Configuration> configurations)
Configure the provided configuration features with the provided parameter values, and execute the configurations. |
void |
configureDefault()
Configure this Petri net by executing all configurations of all configuration features. |
java.util.List<ConfigurableFeatureGroup> |
getConfigurableFeatureGroups()
|
Marking |
getConfiguredMarking()
|
NetType |
getConfiguredNet()
|
Methods inherited from interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph |
---|
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, addTransition, addTransition, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransition |
Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraph |
---|
getEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNode |
Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraphElement |
---|
equals, getGraph, hashCode |
Methods inherited from interface org.processmining.models.graphbased.AttributeMapOwner |
---|
getAttributeMap |
Methods inherited from interface java.lang.Comparable |
---|
compareTo |
Method Detail |
---|
void addConfigurableFeature(java.lang.String id, ConfigurableFeature<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,?> feature) throws InvalidConfigurationException
id
- to uniquely reference the featurefeature
-
InvalidConfigurationException
- if the feature ranges over an element not part of this netvoid addConfigurableFeatures(ConfigurableFeatureGroup group) throws InvalidConfigurationException
group
-
InvalidConfigurationException
- if any feature in the group ranges over an element not part of this netvoid cloneFrom(NetType net, Marking netMarking, java.util.List<ConfigurableFeatureGroup> configurationOptions, org.processmining.models.connections.GraphLayoutConnection oldLayout, org.processmining.models.connections.GraphLayoutConnection newLayout) throws java.lang.Exception
net
- netMarking
- initial marking of the net, can be null
or emptyconfigurations
- oldLayout
- newLayout
-
java.lang.Exception
- in case the cloned net has an invalid set of configuration featuresvoid cloneFrom(ConfigurablePetrinet<NetType> net, org.processmining.models.connections.GraphLayoutConnection oldLayout, org.processmining.models.connections.GraphLayoutConnection newLayout) throws java.lang.Exception
java.lang.Exception
- in case the cloned net has an invalid set of configuration featuresjava.util.List<ConfigurableFeatureGroup> getConfigurableFeatureGroups()
void configure(java.util.List<Configuration> configurations) throws InvalidConfigurationException
configurations
-
InvalidConfigurationException
void configureDefault() throws InvalidConfigurationException
ConfigurableFeatureGroup
in getConfigurableFeatureGroups()
and execute
ConfigurableFeatureGroup.executeConfiguration(ConfigurablePetrinet)
InvalidConfigurationException
NetType getConfiguredNet() throws InvalidConfigurationException
#configure()
InvalidConfigurationException
Marking getConfiguredMarking()
null
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |