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() |
getEmptyCloneaddArc, 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, removeTransitioncheckAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdgesequals, getEdges, hashCode, removeFromEdges, removeNodeFromCollectiongetAttributeMap, getLabel, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitaddArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, addTransition, addTransition, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransitiongetEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNodeequals, getGraph, hashCodegetAttributeMapaddInhibitorArc, addInhibitorArc, addInhibitorArc, addInhibitorArc, addResetArc, addResetArc, addResetArc, addResetArc, getInhibitorArc, getResetArc, removeInhibitorArc, removeResetArcpublic 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
ConfigurablePetrinetcloneFrom 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
ConfigurablePetrinetconfigure in interface ConfigurablePetrinet<ResetInhibitorNet>InvalidConfigurationExceptionorg.processmining.models.graphbased.directed.petrinet.configurable.ConfigurablePetrinet#configure(List))public void configureDefault()
throws InvalidConfigurationException
ConfigurablePetrinetConfigurableFeatureGroup in ConfigurablePetrinet.getConfigurableFeatureGroups()
and execute
ConfigurableFeatureGroup.executeConfiguration(ConfigurablePetrinet)configureDefault in interface ConfigurablePetrinet<ResetInhibitorNet>InvalidConfigurationExceptionConfigurablePetrinet.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
ConfigurablePetrinetaddConfigurableFeature 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
ConfigurablePetrinetaddConfigurableFeatures 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()InvalidConfigurationExceptionpublic Marking getConfiguredMarking()
getConfiguredMarking in interface ConfigurablePetrinet<ResetInhibitorNet>null