About the MOVIDA NCES Analyzer

The NCES Analyzer is user for examining and simulating the functioning of Petri net models. It is a sub application that can be invoked from the MOVIDA NCES Generator.

The interface is divided into four separate panes. The left-hand side pane contains the tree structure of the loaded NCES. The pane in the middle contains a graphical representation of the Petri net structure of the system. The pane on the right contains a view of the reachability graph of the system. Finally the lowest pane is used for writing a log of all the major events that have taken place since the program's launch.

When the program is first started all of the panes will be initially empty. To start analyzing a system you must first load an NCES.

Below is an image of the main user interface of the NCES Analyzer.

The main GUI of the NCES Analyzer