Generating Test Cases for Real-Time Software by Time Petri Nets Model.

Ian Ho Jin-Cherng Lin

Published in: Asian Test Symposium (1999)

Keyphrases

discrete event systems
petri net
petri net model
stochastic petri net
high level petri nets
embedded real time systems
colored petri nets
real time
fuzzy petri net
learning environment
collaborative learning
computer systems
mathematical model
dynamic behaviors