Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

INFSOF
2002

favoriteEmaildiscussreport

85views more INFSOF 2002»

A methodology of testing high-level Petri nets

13 years 4 months ago

A methodology of testing high-level Petri nets

Download cms.brookes.ac.uk

Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri

Hong Zhu, Xudong He

Real-time Traffic

Distributed Systems | INFSOF 2002 | Petri Nets | Test Adequacy |

claim paper

Related Content

» A Tool for Automated Test Code Generation from HighLevel Petri Nets

» Constructing Scorm Compliant Course Based on High Level Petri Nets

» Modelling Hybrid RuleFrameBased Expert Systems Using Coloured Petri Nets

» Modeling and Analysis of a Scheduled Maintenance System a DSPN Approach

» Run time assurance of applicationlevel requirements in wireless sensor networks

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	INFSOF
Authors	Hong Zhu, Xudong He

Comments (0)