For the most recent entries see the Petri Nets Newsletter.

Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets.

Herzog, O.

In: Kahn, G.: Lecture Notes in Computer Science, Vol. 70: Semantics of Concurrent Computation, pages 66-90. Berlin: Springer-Verlag, 1979.

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

Back to the Petri Nets Bibliography