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