Anna DedovaE-mailavd.nsu@gmail.com List of Articles: Virbitskaite I. Fleischhack H. Dedova A. Real arithmetic based verification of prioritized time Petri nets with parameters // Computer Science. — 2010 . — # 31. — P. 179-193
