Ermakova Vera Olegovna

Publications in Math-Net.Ru

1. Translation of nested Petri nets into classical Petri nets for unfoldings verification
   
   Proceedings of ISP RAS, 28:4 (2016),  115–136