Controlling boundedness for live Petri nets. - Irina A. Lomazova; Louchka Popova-Zeugmann; Arthur Bartels (CoDIT, 2017)