| file | type | description |
|---|---|---|
| abp.net | (PN model) | Alternating Bit Protocol |
| mutex.net | (PN model) | Two processes protected by a mutex |
| ifip.net | (PN model) | IFIP example taken from [Berthomieu83] |
| simple_1train.net | (PN model) | a Simple train + barrier example |
| mutex.scn | (SCN file) | scenario for the mutex example |