To desing the model, Macao needs some information
about the selected formalism. So,
the user has to choose one out of the set he downloaded. In the present
case, we select the AMI-Nets formalism (Petri net dialect).
Then, Macao is ready for the design of a new model.
|