This post is used to collect most of the models used in our experiments, with a reference to the original paper where they appear when possible.
Examples of TPN (from the Tina distribution) Alternating Bit Protocol abp.net IFIP example taken from [Berthomieu83]: ifip.net Level-crossing example with 3 trains: train3.net Intersection of TPN The two basic examples used in our [Formats19] paper: C1.net and C2.