For the most recent entries see the Petri Nets Newsletter.

Methods for Formal Description, Verification and Realization of Nets Protocols by an Application of the Theory of Nets.

Anisimov, N.A.

Preprints, Vladivostok, IAPU DVNC, 1984. In Russian.


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

Back to the Petri Nets Bibliography