Janicki, R.

• Janicki, R.; Koutny, M.:
  On causality semantics of nets with priorities. 1999.

• Janicki, R.; Koutny, M.:
  On causality semantics of nets with priorities. 1999.

• Janicki, R.; Koutny, M.:
  Invariants and paradigms of concurrency theory. 1992.

• Janicki, R.; Koutny, M.:
  Invariants and Paradigms of Concurrency Theory. 1991.

• Janicki, Ryszard; Koutny, Maciej:
  Optimal Simulations, Nets and Reachability Graphs. 1991.

• Janicki, Ryszard; Koutny, Maciej:
  Invariant Semantics of Nets with Inhibitor Arcs. 1991.

• Janicki, Ryszard; Koutny, Maciej:
  A Bottom-Top Approach to Concurrency Theory. Part I: Observations, Invariants and Paradigms. 1990.

• Janicki, Ryszard; Koutny, Maciej:
  Generalised Invariant Semantics of Concurrent Systems. 1990.

• Janicki, Ryszard; Koutny, Maciej:
  Is There a Life Beyond Partial Order Semantics?. 1990.

• Janicki, Ryszard; Koutny, Maciej:
  Net Implementations of Optimal Simulations. 1990.

• Janicki, R.; Koutny, M.:
  Towards a Theory of Simulation for Verification of Concurrent Systems. 1989.

• Janicki, R.; Lauer, P.E.:
  On the Semantics of Priority Systems. 1988.

• Janicki, R.; Koutny, M.:
  On Equivalent Execution Semantics of Concurrent Systems. 1987.

• Lauer, P.E.; Janicki, R.:
  An Introduction to the Macro COSY Notation. 1987.

• Janicki, R.:
  A Formal Semantics for Concurrent Systems with a Priority Relation. 1986.

• Janicki, R.:
  An Equivalence Notion for Path Expression Systems. 1985.

• Janicki, R.:
  Transforming Sequential Systems into Concurrent Systems. 1985.

• Janicki, R.:
  Trace Semantics for Communicating Sequential Processes. 1985.

• Janicki, R.; Lauer, P.E.; Koutny, M.; Devillers, R.:
  Concurrent and Maximally Concurrent Evolution of Non-sequential Systems. 1985.

• Janicki, R.; Paul, M.:
  A Method for Developing Systems. 1984.

• Janicki, R.:
  On Concurrent Systems and Concurrency Relations. 1983.

• Janicki, R.; Lauer, P.E.; Devillers, R.:
  Maximally Concurrent Evolution of Non-sequential Systems. 1983.

• Lauer, P.E.; Just, J.R.; Janicki, R.:
  On the Description of Simple Microprocessor Configurations by Means of Petri Nets. 1983.

• Lauer, P.E.; Just, J.R.; Janicki, R.:
  On the Description of Simple Hardware Configurations by Means of Petri Nets. 1983.

• Janicki, R.:
  Analysis of Concurrent Systems by Means of Concurrency Relations. 1982.

• Janicki, R.:
  Nets, Sequential Components and Concurrency Relations. 1982.

• Janicki, Ryszard:
  On Concurrency Relations and Systems. 1982.

• Janicki, R.:
  Partial Orders and Vectors of Firing Sequences. 1982.

• Janicki, R.:
  A Construction of Concurrent Schemes by Means of Sequential Solutions and Concurrency Relations. 1981.

• Janicki, R.:
  An Algebraic Structure of Petri Nets. 1980.

• Janicki, R.:
  On Atomic Nets and Concurrency Relations. 1980.

• Janicki, R.:
  On the Design of Concurrent Systems. 1980.

• Janicki, R.:
  Remarks on the Structure of Unmarked Petri Nets. 1980.

• Janicki, R.:
  A Characterization of Concurrency-Like Relations. 1979.

• Janicki, R.:
  Synthesis of Concurrent Schemes. 1978.

Back to the Petri Nets Bibliography