Hong Zhu, Xudong He. A methodology of testing high-level Petri nets. Information \& Software Technology, 44(8):473-489, 2002.
@article{ZhuH02:0,
title = {A methodology of testing high-level Petri nets},
author = {Hong Zhu and Xudong He},
year = {2002},
tags = {testing},
researchr = {https://researchr.org/publication/ZhuH02%3A0},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {44},
number = {8},
pages = {473-489},
}