Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
gettingstarted:prom6ui [2014/08/13 15:55]
hverbeek [ProM 6.x user interface]
gettingstarted:prom6ui [2014/11/26 17:03] (current)
hverbeek [Action view]
Line 47: Line 47:
 {{ :​gettingstarted:​actionview2.png?​direct&​600 |}} {{ :​gettingstarted:​actionview2.png?​direct&​600 |}}
  
-  ; A : The "​Activity. . . " button opens activity view, which is shown in the figure below. This view shows which actions have been executed and which actions are still running. For example, in this figure, the "alpha-algorithm" action has been executed ​and the "​Transition system miner" action is still running. Selecting the "​X"​ button for a running action cancels that action.+  ; A : The "​Activity. . . " button opens activity view, which is shown in the figure below. This view shows which actions have been executed and which actions are still running. For example, in this figure, the "Mine for a Petri Net using ILP" action ​is still running ans has been executed ​at least three times earlier. Selecting the "​X"​ button for a running action cancels that action.
 {{ :​gettingstarted:​actionviewactivity.png?​direct&​460 |}} {{ :​gettingstarted:​actionviewactivity.png?​direct&​460 |}}
   ; B : The input pane shows the input resource pool. If an action is started, then these resource will be used as inputs for the action.   ; B : The input pane shows the input resource pool. If an action is started, then these resource will be used as inputs for the action.
-  ; C : The resource element shows that the corresponding resource (in this case the event log imported from "​repairExample.xes") is in the current input resource pool.+  ; C : The resource element shows that the corresponding resource (in this case the Petri net that resulted from running the ILP Miner on the event log "​repairExample.mxml") is in the current input resource pool.
   ; D : The "​Workspace"​ button brings you to the Workspace view with the corresponding resource selected.   ; D : The "​Workspace"​ button brings you to the Workspace view with the corresponding resource selected.
   ; E : The "​Remove"​ button removes the corresponding resource from the input resource pool. Note that this will not remove the resource itself, it only removes the resource from this pool.   ; E : The "​Remove"​ button removes the corresponding resource from the input resource pool. Note that this will not remove the resource itself, it only removes the resource from this pool.
Line 56: Line 56:
 {{ :​gettingstarted:​actionviewinput.png?​direct&​460 |}} {{ :​gettingstarted:​actionviewinput.png?​direct&​460 |}}
   ; G : The action pane shows the action pool, which lists possible actions based on both the input resource pool (B), the output type pool (M), and the action filter (L).   ; G : The action pane shows the action pool, which lists possible actions based on both the input resource pool (B), the output type pool (M), and the action filter (L).
-  ; H : This "​Action"​ element shows (note the symbol on the left-hand side) that the corresponding action ("​ILP ​Miner") is interactive,​ that is, it may require to be configured by the user. +  ; H : This "​Action"​ element shows (note the symbol on the left-hand side) that the corresponding action ("Mine for a Petri Net using ILP") is interactive,​ that is, it may require to be configured by the user. 
-  ; I : This "​Action"​ element shows (note the symbol on the left-hand side) that the corresponding action ("alpha-algorithm"​) is batch, that is, it does not require to be configured by the user. +  ; I : This "​Action"​ element shows (note the symbol on the left-hand side) that the corresponding action ("Mine for a Petri Net using Alpha-algorithm"​) is batch, that is, it does not require to be configured by the user. 
-  ; J : The"\Interactive"​ button toggles the interactive filter, which filters on the interactive actions.+  ; J : The "​Interactive"​ button toggles the interactive filter, which filters on the interactive actions.
   ; K : The "​Batch"​ button toggles the batch filter, which filters on the batch actions.   ; K : The "​Batch"​ button toggles the batch filter, which filters on the batch actions.
   ; L : The "​Search"​ field allows you to filter on action name.   ; L : The "​Search"​ field allows you to filter on action name.
Line 70: Line 70:
   ; S : An action that does not require additional input resources, that is, this action can be started on the current set of input resources. For easy recognition,​ such an action is colored green.   ; S : An action that does not require additional input resources, that is, this action can be started on the current set of input resources. For easy recognition,​ such an action is colored green.
   ; T : The selected action. In this case, this action does not require additional resources, but it is also possible to select an action that requires additional resources. In that case, placeholders for these additional resources are added to the input resource pool, and the user can select the appropriate resources for these placeholders.   ; T : The selected action. In this case, this action does not require additional resources, but it is also possible to select an action that requires additional resources. In that case, placeholders for these additional resources are added to the input resource pool, and the user can select the appropriate resources for these placeholders.
-  ; U : The output type pool shows the types of the resources that will be generated if the selected action is performed. In this case, it shows that the "Transition system miner" action will generate a transition system, a collection of state and transition weights, a collection of start states, ​and a collection of accept states.+  ; U : The output type pool shows the types of the resources that will be generated if the selected action is performed. In this case, it shows that the "Mine for a Petri Net using Alpha-algorithm" action will generate a Petri net and a marking.
  
  
  • Show page