Each participating team is invited to briefly present their approach to the RERS benchmarks at the corresponding event.

For further information about the parallel problems please refer to the problem description. Please note that the syntax of provided LTL properties varies from the sequential problems.

---

The models (Petri net, Promela, .dot) are provided as a .zip archive.

LTL properties are available as a separate .zip archive (and are already included in the Promela version).

---

Parallel LTL Problems

The following table provides an overview of this year's challenge problems in the Parallel LTL track. Bronze, silver, and gold backgrounds refer to the corresponding achievements. There are three achievement categories in this track: small, medium, and large. The names of these categories refer to the number of reachable states in the parallel composition of a given problem.

small	medium	large
problem101	problem104	problem107
problem102	problem105	problem108
problem103	problem106	problem109