Loading a Formal Model

The formal model contains the Petri net modeling the system. This model forms the backbone on which the animations are created.

Loading a Formal Model

There are two alternative ways to load a formal model. The File menu contains a Get Formal Model submenu. To load a new new formal model from a file select the option Load from File from the submenu. A file chooser window will let you choose the file containing the model. The loaded model will also become visible in the NCES Editor window. To set the TNCES that is currently displayed in the NCES Editor associated with the training utility to be the formal model select the option Set Current.