User_Guide

JDec User Guide

This provides a step-by-step guide for using JDec.

Main Menu

Depending on your OS, you will be greeted with a window that looks something like this.

Loading an Existing Data File

In the menutab, go to File → Open, then select the data file of your choice. You may need to change the file type in the popup to select the input file of your choice. Opening the file will generate a graphical representation of the input.

Input file used: fig-1.json

Generating $\mathcal{U}$ Structure

Once an automaton is loaded (or created with user input), its $\mathcal{U}$ Structure can be calculated. To do so, go to Special Operations → Synchronized Composition in the menutab.

Once the calculation is complete, the resulting $\mathcal{U}$ Structure will be opened in a new tab.

You may have to press the "Generate Image" button to trigger image generation for the calculated $\mathcal{U}$ Structure.

Determining Inference Observability

To determine inference observability of a system, select the tab with your automaton open, then go to Properties → Test Inference Observability.

If you want the inference level to be calculated and displayed, then press "Yes" in the popup. If not, select "No" instead. If the system is determined to be not inference observable, your response will be ignored.

Depending on the result, a new popup will be displayed telling whether the system is inference observable or not.