Serialized Form

Package org.processmining.plugins.petrinet.analysis

Class org.processmining.plugins.petrinet.analysis.PNPluginSelectionPanel extends javax.swing.JPanel implements Serializable

serialVersionUID:

8854230239880636749L

Serialized Fields

plugConfig

SlickerPluginDependencyConfiguration plugConfig

Class org.processmining.plugins.petrinet.analysis.SlickerPluginDependencyConfiguration extends javax.swing.JPanel implements Serializable

serialVersionUID:

2392584567665617821L

Serialized Fields

configurationItems

SlickerPluginDependencyConfiguration.PluginConfigurationItem[] configurationItems

dependencies

java.util.Map<PNPluginSelectionPanel.AnalysisTypes,java.util.Set<PNPluginSelectionPanel.AnalysisTypes>> dependencies

updateListener

javax.swing.event.ChangeListener updateListener

Class org.processmining.plugins.petrinet.analysis.SlickerPluginDependencyConfiguration.PluginConfigurationItem extends com.fluxicon.slickerbox.components.GradientPanel implements Serializable

serialVersionUID:

-7596401396201481445L

Serialized Fields

action

SlickerPluginDependencyConfiguration.SelectionAction action

actionLabel

javax.swing.JLabel actionLabel

nameLabel

javax.swing.JLabel nameLabel

object

PNPluginSelectionPanel.AnalysisTypes object

Package org.processmining.pnanalysis.semantics

Class org.processmining.pnanalysis.semantics.CyclomaticSemantics extends java.lang.Object implements Serializable

serialVersionUID:

1909845346796187378L

Serialized Fields

isUnbounded

boolean isUnbounded

nofStates

int nofStates

semantics

org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics