Automatic Synthesis of Transiently Correct Network Updates via Petri Games. - Martin Didriksen; Peter Gjøl Jensen; Jonathan F. Jønler; Andrei-Ioan Katona; Sangey D. L. Lama; Frederik B. Lottrup; Shahab Shajarat; Jirí Srba (Petri Nets, 2021)