Initially when Time Diagram has been started no diagram is displayed. To create a time diagram select the menu item Compute paths... from the Configure menu.
You will be asked the start and end states of the paths for which to create the diagrams. A diagram will be created for each path from the start state to the end state. You can only enter numbers that represent valid states in the considered state space. Otherwise an error dialog will be displayed.
Once you have entered the numbers of the desired path start and end states click on the OK button to create the diagrams. The end result might look something like the image below shows.
The left pane shows all the paths between the selected end states. You can select any of the paths with its radio button and the time diagram for the selected path will be shown in the right pane. You can also select any state on the path from the combo box and the diagram will be scrolled to show the markings in that state. Next to each path there is also displayed the total number of states on the path (N) and the time duration of the path (T).
By default the time diagram contains red vertical dashed lines going through the graph indicating the locations where the marking changes. These indicator lines can be disabled or enabled by unselecting or selecting the menu item Show marking change indicators in the popup menu associated with the diagram.