This directory contains examples annoted in the document
"AMI environment".

The examples are :

Name                        Doc Page
----                        --------
Peterson                    17 - 20
OperatingSystemSmall        22 - 23
MutualExclusionSystem       26 - 30
PhilosopherModel            31 - 32
DrawingModel				40
XObjectManager				41
Philosophers.Live			44

Note :
* There is no annoted example for the simulator tool CPN/DESIR.
  However, "Peterson", "Operating system - small" and 
  "Philosophers.Live" can be run using DESIR.