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