Report copyright - Technische Universität München Fakultät fürInformatik · 1-save nets [Che+95] (PSPACE-complete), and many subclasses of free-choice Petri nets (see, e.g., [Che+95;Esp98] as well
Please pass captcha verification before submit form
Please pass captcha verification before submit form