For the most recent entries see the
Petri Nets Newsletter.
Program Verification for Microprocessors Through Petri Net Modeling.
Hura, G.S.;
Atwood, J.W.
In:
Microelectron. Reliab., Vol. 25, No. 5, pages 1001-1010.
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography