For the most recent entries see the Petri Nets Newsletter.

On Decidability of LTL Model Checking for Process Rewrite Systems.

Bozzelli, Laura; Kretinsky, Mojmir; Rehak, Vojtech; Strejcek, Jan

In: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, pages 248-259. 2006. URL:

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

Back to the Petri Nets Bibliography