Sciweavers

INFSOF
2002

A methodology of testing high-level Petri nets

13 years 11 months ago
A methodology of testing high-level Petri nets
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
Hong Zhu, Xudong He
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where INFSOF
Authors Hong Zhu, Xudong He
Comments (0)