For the most recent entries see the Petri Nets Newsletter.

Undecidability of Propositional Temporal Logic for Petri Nets.

Kotov, V.E.; Cherkasova, L.A.

In: Vychisl. Sist., No. 107, pages 124-136. 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