For the most recent entries see the Petri Nets Newsletter.

Proof Methods for Asynchronous Systems of Processes.

Cotronis, J.Y.

University of Newcastle upon Tyne, Computing Laboratory, Master's Thesis, September 1975.

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

Back to the Petri Nets Bibliography