For the most recent entries see the Petri Nets Newsletter.

Assertion Decomposition for Acyclic Networks.

Carvalho, O.S.F.; Roucairol, G.

Univ. Paris Sud, Orsay, Rapport LRI No. 165, February 1984.

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

Back to the Petri Nets Bibliography