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