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.

Possibly Related Publications

The following publications are possibly variants of this publication: