For the most recent entries see the Petri Nets Newsletter.

A Logical Formalism for the Study of the Finite Behaviour of Petri Nets.

Parigot, M.; Pelz, E.

In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 222: Advances in Petri Nets 1985, pages 346-361. Springer-Verlag, 1986.


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

Back to the Petri Nets Bibliography