For the most recent entries see the Petri Nets Newsletter.

The Undecidability of Propositional Temporal Logic for Petri Nets.

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

In: Comput. & Artificial Intelligence, Vol. 6, Nr. 2, pages 123-130. 1987.


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

Back to the Petri Nets Bibliography