An introduction to the Mars project

To access it, please click here.

Direct access to printable documentation for MoVe software

CPN-AMI

You may get get from here the following documents:

• Petri Nets internal description for CPN-AMI in french or in english
• get some tutorial on Petri nets and CPN-AMI usage,
• BNF of the AMI-Net formalism (pdf,164 Kb),
• Assembled documentation of CPN-AMI services (pdf, 1.5 Mb).
• the full PDF documentation of the PetriScript language

For more information on CPN-AMI, please fo to the CPN-AMI documents page.

FrameKit

You may get get from here the following documents:

• FrameKit french reference manual (pdf, 1.4 Mb).

For more information on FrameKit, please fo to the FrameKit documents page.

Macao

You may get from here the following documents:

• Macao user manual in english (pdf, 772 Kb).
• Macao user manual in french (pdf, 580 Kb),

For more documentation on Macao, please go to the Macao documents page.

MetaScribe

You may get get from here the following documents:

• La MetaScribe french reference manual (pdf, 416 Kb).

For more information on MetaScribe, please fo to the MetaScribe documents page.

ModFact

to be included

PNML project

You may access to the PNML page and the PNML documentation.

Spot

to be included