Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens - D. K. Glomozda; N. N. Glibovets; A. N. Maksimets (Cybernetics and Systems Analysis, 2018)