1.1 Overview

This manual is divided into 6 chapters and an appendix. The chapters contain information which acquaints the user with the Integrated Net Analyzer INA and presents the functions it offers.

Chapter 2 describes the installation, operation and dialogue with the program, entering of data, files, extensions and data formats used, the structure of an INA -session and possible options.

Recommendation: Please read this chapter first, so that you are spared many inconveniences in using the program.

Chapter 3 describes the editor, chapter 4 the firing. Among other things, the latter contains a description of the representation of states and of firing with time allocation.

Chapters 5 and 6 introduce into the reduction and analysis of nets.

In the appendix, you find references to literature containing definitions and details of the implementation, as well as a list of key words. There you will also find further information about this manual and the program.