Aleksey ZubarevE-mailauzubarev@gmail.comOrganization: A.P. Ershov Institute of Informatics Systems SB RAS — researcher Academic degree: PhD List of Articles: Zubarev A. State space reduction for time Petri nets with weak semantics // Computer Science. — 2019 . — # 43. — P. 39-52