Constructor and Description |
---|
GeneralizedExitationRegionConnection(TransitionSystem ts,
GeneralizedExitationRegions r) |
MinimalRegionConnection(TransitionSystem ts,
RegionSet rs) |
RegionConnection(TransitionSystem ts,
RegionSet rs) |
TransitionSystemConnection(TransitionSystem ts,
org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights,
StartStateSet starts,
AcceptStateSet accepts) |
TransitionSystemConnection(TransitionSystem ts,
org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights,
StartStateSet starts,
AcceptStateSet accepts,
java.lang.Object settings) |
TransitionSystemConnection(TransitionSystem ts,
StartStateSet starts,
AcceptStateSet accepts) |
Modifier and Type | Class and Description |
---|---|
class |
CoverabilityGraph |
class |
ReachabilityGraph |
class |
TransitionSystemImpl |
Modifier and Type | Method and Description |
---|---|
static TransitionSystem |
TransitionSystemFactory.cloneTransitionSystem(TransitionSystem ts) |
static TransitionSystem |
TransitionSystemFactory.newTransitionSystem(java.lang.String label) |
Modifier and Type | Method and Description |
---|---|
static TransitionSystem |
TransitionSystemFactory.cloneTransitionSystem(TransitionSystem ts) |
java.lang.Object[] |
InitialAndAcceptStateSearcher.findAcceptingStates(org.processmining.framework.plugin.PluginContext context,
TransitionSystem ts) |
Modifier and Type | Class and Description |
---|---|
class |
PayloadTransitionSystem<E>
This class enables associating a specific strategy of "replaying" a sequence
on a transition system.
|
Modifier and Type | Class and Description |
---|---|
class |
EventPayloadTransitionSystem |
Modifier and Type | Method and Description |
---|---|
void |
Region.initialize(TransitionSystem ts) |
void |
RegionImpl.initialize(TransitionSystem ts) |
Modifier and Type | Method and Description |
---|---|
javax.swing.JComponent |
MinedTSVisualization.visualize(org.processmining.framework.plugin.PluginContext context,
TransitionSystem ts) |
javax.swing.JComponent |
Visualization.visualize(org.processmining.framework.plugin.PluginContext context,
TransitionSystem ts) |
Constructor and Description |
---|
MinedTSLogFilter(org.processmining.framework.plugin.PluginContext context,
TransitionSystem ts,
TSMinerInput settings,
org.processmining.models.jgraph.visualization.ProMJGraphPanel panel) |
Modifier and Type | Class and Description |
---|---|
class |
TSMinerTransitionSystem |
Modifier and Type | Method and Description |
---|---|
org.deckfour.xes.model.XLog |
TSMiner.filter(TSMinerInput settings,
TransitionSystem transitionSystem,
java.util.Collection<State> selectedStates,
java.util.Collection<Transition> selectedTransitions,
int treshold)
Creates a log based on the selected states and transitions together with
the settings as used for mining the transition system.
|
Modifier and Type | Method and Description |
---|---|
Tsml |
Tsml.marshall(TransitionSystem ts,
StartStateSet starts,
AcceptStateSet accepts,
org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights,
org.processmining.models.connections.GraphLayoutConnection graphLayout) |
void |
TsmlTransition.unmarshall(TransitionSystem ts,
org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights,
java.util.Map<java.lang.String,State> idStateMap,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this transition to a regular TS transition.
|
void |
Tsml.unmarshall(TransitionSystem ts,
StartStateSet starts,
AcceptStateSet accepts,
org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights,
org.processmining.models.connections.GraphLayoutConnection graphLayout) |
void |
TsmlState.unmarshall(TransitionSystem ts,
StartStateSet starts,
AcceptStateSet accepts,
org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights,
java.util.Map<java.lang.String,State> idStateMap)
Converts this state to a TS state.
|
Modifier and Type | Method and Description |
---|---|
void |
TsmlExportTS.export(org.processmining.contexts.uitopia.UIPluginContext context,
TransitionSystem ts,
java.io.File file) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
TsmlImportUtils.connectTS(org.processmining.framework.plugin.PluginContext context,
Tsml tsml,
TransitionSystem ts) |