For the most recent entries see the Petri Nets Newsletter.

Programs for Checking Petri Net Correctness.

Kruchenok, M.A.

In: Automated Solution of Problems in Logics and Combinatorics, Minsk, pages 46-59. 1985. In Russian.


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

Back to the Petri Nets Bibliography