Modifier and Type | Method and Description |
---|---|
void |
ConfigurablePetrinet.cloneFrom(ConfigurablePetrinet<NetType> net,
org.processmining.models.connections.GraphLayoutConnection oldLayout,
org.processmining.models.connections.GraphLayoutConnection newLayout) |
void |
ConfigurableFeature.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Executes the configuration on
ConfigurableFeature.getConfiguredElement() . |
void |
ConfigurableFeatureGroup.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Executes the configuration for this feature group.
|
boolean |
ConfigurableFeature.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
Modifier and Type | Method and Description |
---|---|
void |
ConfigurableArc.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Configures the arc of this configurable feature.
|
void |
ConfigurableArcWeight.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Set the weight of the configurable arc to
ConfigurableParameter.getValue() (if > 0) and
remove arc from parent (if == 0) |
void |
ConfigurablePlace.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Configures the place of this configurable feature.
|
void |
ConfigurablePlaceMarking.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Set initial marking of configurable place in its parent net to the
configured value.
|
void |
ConfigurableTransition.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Configures the transition of this configurable feature.
|
void |
ParameterizedArc.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Set the weight of the configurable arc to
ParameterizedIntegerFeature.getValue() (if > 0) and
remove arc from parent (if == 0) |
void |
ParameterizedPlaceMarking.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Set initial marking of configurable place in its parent net to the
configured value.
|
boolean |
ConfigurableArc.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
boolean |
ConfigurableArcWeight.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
boolean |
ConfigurablePlace.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
boolean |
ConfigurablePlaceMarking.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
boolean |
ConfigurableTransition.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
boolean |
ParameterizedArc.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
boolean |
ParameterizedPlaceMarking.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
Modifier and Type | Class and Description |
---|---|
class |
ConfigurableResetInhibitorNet
A configurable
ResetInhibitorNet . |
Modifier and Type | Method and Description |
---|---|
void |
ConfigurableResetInhibitorNet.cloneFrom(ConfigurablePetrinet<ResetInhibitorNet> net,
org.processmining.models.connections.GraphLayoutConnection oldLayout,
org.processmining.models.connections.GraphLayoutConnection newLayout) |
abstract void |
ParameterizedIntegerFeature.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
Constructor and Description |
---|
ConfigurePetriNet_UI(ConfigurablePetrinet<? extends PetrinetGraph> net,
boolean configureAll) |