Elena N. Bozhenkova, Irina B. Virbitskaite. Testing Equivalences of Time Petri Nets. Programming and Computer Software, 46(4):251-260, 2020. [doi]
@article{BozhenkovaV20,
title = {Testing Equivalences of Time Petri Nets},
author = {Elena N. Bozhenkova and Irina B. Virbitskaite},
year = {2020},
doi = {10.1134/S0361768820040040},
url = {https://doi.org/10.1134/S0361768820040040},
researchr = {https://researchr.org/publication/BozhenkovaV20},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {46},
number = {4},
pages = {251-260},
}