Kovalyov, Andrei2013-05-012013-05-012002http://hdl.handle.net/1993/19827xii, 158 leaves :engEfficient methods for verification and performance evaluation of concurrent systems by Petri netsdoctoral thesis