For the most recent entries see the
Petri Nets Newsletter
.
Keyword: concurrent programs
Yoo, K.-J.
;
Lee, D.-I.
:
Translating concurrent programs into speed-independent circuits through Petri net transformations.
2000.
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