add sampling in the preferences pane to display the barchart of the clock...
add sampling in the preferences pane to display the barchart of the clock probabilities of the transitions #43
add sampling in the preferences pane to display the barchart of the clock probabilities of the transitions #43