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)
|
|