Sciweavers

INFSOF
2002

A methodology of testing high-level Petri nets

14 years 4 days 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)