Czaja, L.

• Czaja, L.:
  Interpreted nets. 2006.

• Czaja, Ludwik:
  An Axiomatic Framework for Proving Correctness of Nets. 2004.

• Czaja, Ludwik:
  Proving Petri Nets Correct via Cause-Effect Structures. 2002.

• Czaja, L.:
  Proving Petri Nets Correct via Cause-Effect Structures. 2002.

• Czaja, Ludwik; Kudlek, Manfred:
  Omega-Process languages for place/transition nets. 2001.

• Czaja, Ludwik:
  Process languages and nets. 2000.

• Czaja, Ludwik; Kudlek, Manfred:
  Rational, Linear and Algebraic Process Languages and Iteration Lemmata. 1999.

• Czaja, Ludwik:
  Net-Definability of Process Languages. 1998.

• Czaja, L.:
  Modelling Systems by Cause-Effect Structures. 1990.

• Czaja, Ludwick:
  Finite Processes in Cause-Effect Structures and Their Composition. 1989.

• Czaja, L.:
  Cause Effect Structures. 1988.

• Czaja, L.:
  Making Nets Abstract and Structured. 1986.

• Czaja, L.:
  Making Nets Abstract and Structured and Nets and Their Relations to CSP (Communicating Sequential Processes). 1984.

Back to the Petri Nets Bibliography