For the most recent entries see the Petri Nets Newsletter.

Petri Nets as a Support to Symbolic Execution of Concurrent ADA Programs.

Ghezzi, C.; Mandrioli, D.; Pezzè, M.

Politecnico di Milano, Dipartimento di Elettronica, Internal Report No. REPT--87--007, 1987.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography