For the most recent entries see the Petri Nets Newsletter.

Logics for Concurrency, Structure versus Automata.

Moller, Faron; Birtwistle, Graham

Lecture Notes in Computer Science, Vol. 1043, pages 1-266. Springer-Verlag, 1996.

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

Back to the Petri Nets Bibliography