For the most recent entries see the Petri Nets Newsletter.

Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs.

Di Marzo Serugendo, G.

Ph.D. Thesis 1931, pages 1-320. Swiss Federal Institute of Technology in Lausanne, March 1999. URL:

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

Back to the Petri Nets Bibliography