Controlling boundedness for live Petri nets.

Irina A. Lomazova, Louchka Popova-Zeugmann, Arthur Bartels

Browse the full CoDIT paper archive.