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