Petri Nets examples
-------------------

This directory contains examples of models that can be analysed using
the Petri net generator

* robot: a simple robotic system

To test models, simply run

   carina -f -g petri_nets *.aadl

