For the most recent entries see the
Petri Nets Newsletter
.
Keyword: test generation
Lin, J.-C.
;
Ho, I.
:
A new perspective on formal testing method for real-time software.
2000.
Tabakow, I.G.
:
A dynamic testability measure for circuit realizations of Boolean interpreted Petri nets.
1996.
Tabakow, I.G.
:
Test Generation for Synchronous Realizations of Boolean Interpreted Petri Nets Using Composite Multi-Valued Nets.
1994.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography