For the most recent entries see the Petri Nets Newsletter.

Distributed Versions of Linear Time Temporal Logic: A Trace Perspective.

Thiagarajan, P.S.; Henriksen, Jesper G.

In: Reisig, W.; Rozenberg, G.: Lecture Notes in Computer Science, Vol. 1491: Lectures on Petri Nets I: Basic Models, pages 643-682. Springer-Verlag, 1998.

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

Back to the Petri Nets Bibliography