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