A Petri Net Definition of a System Description Language.

For the most recent entries see the Petri Nets Newsletter.

Aarhus Univ., Computer Science Dep., DAIMI PB-96, April 1979.

Also in: Kahn, G.: Lecture Notes in Computer Science, Vol. 70: Semantics of Concurrent Computation, pages 348-368. Berlin: Springer-Verlag, 1979.

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