For the most recent entries see the Petri Nets Newsletter.

A Net Based Theorem Prover for Program Verification and Synthesis.

Darlington, J.L.

Gesellschaft für Math. und Datenverarbeitung mbH Bonn, Interner Bericht des IST 3/79, December 1979.

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

Back to the Petri Nets Bibliography