LIP6 UPMC CNRS Move-team Macao FrameKit CPN-AMI
2007-10-24
LIP6 > Software > MoVe Sofware > CPN-AMI > Introductory Tutorials

Getting started with CPN-AMI

This small tutorial is a good way start. It proposes very simple exercices to illustrates some features of Petri nets and capabilities of the CPN-AMI environment.

Material
Text
Some corrections
Models files (MacOS 9)
Model files (Unix)

A small CASE Study to illustrate functions of CPN-AMI (Telecom)

This tutorial proposes to model a communication channel and then, proposes to extend it and evaluate the impact of these modifications on the system's reliability. Finally, an extended (and colored) version of the model is proposed to model a bus using a similar strategy. It is a good basis to illustrate the capability of Petri nets for the modeling and verification of systems.

Material
Text
Corrections
Models files (MacOS 9)
Model files (Unix)
Bas