A methodology of testing high-level Petri nets

Hong Zhu, Xudong He. A methodology of testing high-level Petri nets. Information \& Software Technology, 44(8):473-489, 2002.

Abstract

Abstract is missing.