NetType
- the net base type made configurable by this netpublic interface ConfigurablePetrinet<NetType extends PetrinetGraph> extends Petrinet
Modifier and Type | Method and Description |
---|---|
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() |
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, addTransition, addTransition, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransition
getEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNode
equals, getGraph, hashCode
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