LIP6 UPMC CNRS Move-team Macao FrameKit CPN-AMI
2006-10-27
LIP6 > Software > MoVe Sofware > Macao > Documentation > Designing a model > Selecting the Model Formalism

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.

Bas