public class ConfigurableResetInhibitorNet extends ResetInhibitorNetImpl implements ConfigurablePetrinet<ResetInhibitorNet>
ResetInhibitorNet
.arcs, inhibitorArcs, places, resetArcs, substitutionTransitions, transitions
Constructor and Description |
---|
ConfigurableResetInhibitorNet(java.lang.String label)
Create an empty configurable reset inhibitor net.
|
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<ResetInhibitorNet> net,
org.processmining.models.connections.GraphLayoutConnection oldLayout,
org.processmining.models.connections.GraphLayoutConnection newLayout) |
void |
cloneFrom(ResetInhibitorNet net,
Marking netMarking,
java.util.List<ConfigurableFeatureGroup> configurations,
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() |
ResetInhibitorNet |
getConfiguredNet() |
getEmptyClone
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArcPrivate, addGroup, addGroup, addInhibitorArc, addInhibitorArc, addInhibitorArc, addInhibitorArc, addPlace, addPlace, addResetArc, addResetArc, addResetArc, addResetArc, addTransition, addTransition, cloneFrom, cloneFrom, getArc, getEdges, getGroups, getInhibitorArc, getNodes, getPlaces, getResetArc, getTransitions, removeArc, removeEdge, removeGroup, removeInhibitorArc, removeNode, removePlace, removeResetArc, removeTransition
checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges
equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection
getAttributeMap, getLabel, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
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
getAttributeMap
addInhibitorArc, addInhibitorArc, addInhibitorArc, addInhibitorArc, addResetArc, addResetArc, addResetArc, addResetArc, getInhibitorArc, getResetArc, removeInhibitorArc, removeResetArc
public ConfigurableResetInhibitorNet(java.lang.String label)
label
- net
- public void cloneFrom(ResetInhibitorNet net, Marking netMarking, java.util.List<ConfigurableFeatureGroup> configurations, org.processmining.models.connections.GraphLayoutConnection oldLayout, org.processmining.models.connections.GraphLayoutConnection newLayout) throws java.lang.Exception
ConfigurablePetrinet
cloneFrom
in interface ConfigurablePetrinet<ResetInhibitorNet>
netMarking
- initial marking of the net, can be null
or emptyjava.lang.Exception
- in case the cloned net has an invalid set of configuration featuresorg.processmining.models.graphbased.directed.petrinet.configurable.old.ConfigurablePetrinet#cloneFrom(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph, java.util.List, org.processmining.models.connections.GraphLayoutConnection, org.processmining.models.connections.GraphLayoutConnection)
public void cloneFrom(ConfigurablePetrinet<ResetInhibitorNet> net, org.processmining.models.connections.GraphLayoutConnection oldLayout, org.processmining.models.connections.GraphLayoutConnection newLayout) throws java.lang.Exception
cloneFrom
in interface ConfigurablePetrinet<ResetInhibitorNet>
java.lang.Exception
- in case the cloned net has an invalid set of configuration featuresorg.processmining.models.graphbased.directed.petrinet.configurable.old.ConfigurablePetrinet#cloneFrom(org.processmining.models.graphbased.directed.petrinet.configurable.old.ConfigurablePetrinet, org.processmining.models.connections.GraphLayoutConnection, org.processmining.models.connections.GraphLayoutConnection)
public void configure(java.util.List<Configuration> configurations) throws InvalidConfigurationException
ConfigurablePetrinet
configure
in interface ConfigurablePetrinet<ResetInhibitorNet>
InvalidConfigurationException
org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurablePetrinet#configure(List))
public void configureDefault() throws InvalidConfigurationException
ConfigurablePetrinet
ConfigurableFeatureGroup
in ConfigurablePetrinet.getConfigurableFeatureGroups()
and execute
ConfigurableFeatureGroup.executeConfiguration(ConfigurablePetrinet)
configureDefault
in interface ConfigurablePetrinet<ResetInhibitorNet>
InvalidConfigurationException
ConfigurablePetrinet.configureDefault()
public java.util.List<ConfigurableFeatureGroup> getConfigurableFeatureGroups()
getConfigurableFeatureGroups
in interface ConfigurablePetrinet<ResetInhibitorNet>
org.processmining.models.graphbased.directed.petrinet.configurable.old.ConfigurablePetrinet#getConfigurationFeatures()
public void addConfigurableFeature(java.lang.String id, ConfigurableFeature<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,?> feature) throws InvalidConfigurationException
ConfigurablePetrinet
addConfigurableFeature
in interface ConfigurablePetrinet<ResetInhibitorNet>
id
- to uniquely reference the featureInvalidConfigurationException
- if the feature ranges over an element not part of this netpublic void addConfigurableFeatures(ConfigurableFeatureGroup group) throws InvalidConfigurationException
ConfigurablePetrinet
addConfigurableFeatures
in interface ConfigurablePetrinet<ResetInhibitorNet>
InvalidConfigurationException
- if any feature in the group ranges over an element not part of this netpublic ResetInhibitorNet getConfiguredNet() throws InvalidConfigurationException
getConfiguredNet
in interface ConfigurablePetrinet<ResetInhibitorNet>
#configure()
InvalidConfigurationException
public Marking getConfiguredMarking()
getConfiguredMarking
in interface ConfigurablePetrinet<ResetInhibitorNet>
null