Introduction

This program is for helping the possible conflicts set calculation in a real system.

To do this an algorithm is supplied and it is possible to add new algorithms. Loading system descriptions is possible in several formats and you can save the results of the calculus in a file. A results viewer is also supplied in order to offer a graphical representation of the results of the calculus. The language of the program can be changed and new languages can be added.

You can choose any of the left items in order to get help about them.