1 Table of Contents: “... concurrent systems -- Synthesis rules for Petri nets, and how they lead to new results -- The need...”