For the most recent entries see the
Petri Nets Newsletter
.
Keyword: coverage measure
Morasca, S.
;
Pezzè, M.
:
Using High-Level Petri Nets for Testing Concurrent and Real-Time Systems.
1990.
Ho, Hong-Fa
;
Chen, Gen-Heuy
;
Kuo, Te-Son
:
Branch Testing of Concurrent Programs Using Petri Net Models.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography