Keyword: COSY

• Olderog, Ernst-Rüdiger:
  Correctness of Concurrent Processes. 1991.

• Keesmaat, N.W.; Kleijn, H.C.M.; Rozenberg, G.:
  Vector Controlled Concurrent Systems. I: Basic Classes. 1990.

• Olderog, Ernst-Rüdiger:
  From Trace Specifications to Process Terms. 1990.

• Keesmaat, N.W.; Kleijn, H.C.M.:
  Net-Based Control vs. Rational Control in Vector Controlled Concurrent Systems. 1989.

• Hillen, Detlef:
  Liveness Preserving Syntactical Generation of Conflict-free Path-Programs and Marked Graphs. 1985.

Back to the Petri Nets Bibliography