A Graph Grammar Providing a Predicate Transition Net Semantic for CSP-80.

For the most recent entries see the Petri Nets Newsletter.

A Graph Grammar Providing a Predicate Transition Net Semantic for CSP-80.

Dolezol, W.; Schübel, T.; Triebel, J.; Wirtz, G.

Univ. Bonn, Inst. für Informatik III, June 1984.

Also in: Pape, U.: Proc. of the WG'84 Int. Workshop on Graphtheoretic Concepts in Computer Science, pages 100-124. Linz: Universitätsverlag Rudolf Trauner, 1984.

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

Back to the Petri Nets Bibliography