Some Scenario to understand how it works
We propose two scenarios to illustrate the possibilities of CPN-AMI.
Screencast Documentation
Watch screencasts featuring CPN-AMI. These screecasts are performed using either Macao or Coloane.
If you have trouble viewing these files, you can try VLC (http://www.videolan.org/vlc/) a lightweight GPL multiplatform viewer that
supports mp4.
CPN-AMI introductory tutorials
These tutorials have been written for the Petri Net MATCH summer school
(Jaca, September 1998). They can be operated with CPN-AMI version 2.3
or higher.
Please click here to access these tutorial
(pdf documentation and material)
CPN-AMI Services User Manual
To access the user manual of CPN-AMI services, please click here.
To access the description of the AMI-Net syntax, please click here or here for a pdf version.
To access the PDF description of the PetriScript language, please click here.
Related Documentation
- Petri Nets internal description for CPN-AMI french or in english
- From FrameKit to CPN-AMI
- F.Kordon & E. Paviot-Adet, "Using CPN-AMI to validate a safe channel
protocol", in the proceedings of the International Conference on Theory
and Applications of Petri Nets - Tool presentation part, Williamsburg,
USA, June 21-25, 1999
download pdf file (180 Kb)
|