For the most recent entries see the Petri Nets Newsletter.

Undecidability of the Equivalence Problem for Flow Expressions.

Araki, T.; Tokura, N.

In: Trans. Inst. Electron. and Commun. Eng. Jpn. Sect. E, Vol. E62, No. 6, pages 1-452. June 1979.

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

Back to the Petri Nets Bibliography