Kotov, V.E.

• Ciardo, Gianfranco; Cherkasova, Ludmilla A.; Kotov, Vadim E.; Rokicki, Tom:
  Modeling A Scalable High-Speed Interconnect with Stochastic Petri Nets. 1995.

• Cherkasova, Ludmila A.; Kotov, Vadim E.; Rokicki, Tomas:
  On Net Modeling of Industrial Size Concurrent Systems. 1993.

• Cherkasova, Ludmila A.; Kotov, Vadim E.; Rokicki, Tomas:
  On Scalable Net Modeling of OLTP. 1993.

• Cherkasova, Ludmila A.; Kotov, Vadim E.:
  Descriptive and Analytical Process Algebras. 1990.

• Cherkasova, Ludmila A.; Kotov, Vadim E.:
  Concurrent Nondeterministic Processes: Adequacy of Structure and Behaviour. 1989.

• Cherkasova, L.A.; Kotov, V.E.:
  On Properties of Nets for Modelling of Systems and Generalized Processes. 1987.

• Cherkasova, L.A.; Kotov, V.E.:
  The Undecidability of Propositional Temporal Logic for Petri Nets. 1987.

• Kotov, V.E.; Cherkasova, L.A.:
  Connection of the Network and Logical Approaches to Description of Processes. 1987.

• Kotov, V.E.; Cherkasova, L.A.:
  From Nets to Logic and back in the Specification of Processes. 1987.

• Kotov, V.E.; Cherkasova, L.A.:
  A Net Approach for the Description of the Semantics of Parallel Systems and Processes. 1986.

• Kotov, V.E.; Cherkasova, L.A.:
  A Temporal Logic for Petri Nets. The Mathematical Theory of Programming. 1985.

• Kotov, V.E.; Cherkasova, L.A.:
  On Structural Properties of Generalized Processes. 1985.

• Kotov, V.E.; Cherkasova, L.A.:
  Undecidability of Propositional Temporal Logic for Petri Nets. 1985.

• Kotov, V.E.:
  Petri Nets. 1984.

• Kotov, V.E.; Cherkasova, L.A.:
  Some Criteria on the Structurization in the Class of Acyclic Nets. 1982.

• Cherkasova, L.A.; Kotov, V.E.:
  Structured Nets. 1981.

• Kotov, V.E.; Cherkasova, L.A.:
  Structured Nets. 1981.

• Kotov, V.E.:
  On Parallel Languages. II. 1980.

• Kotov, V.E.:
  Algebra of Regular Petri Nets. 1980.

• Kotov, V.E.:
  Parallel Programming With Control Types. 1979.

• Kotov, V.E.:
  An Algebra for Parallelism Based on Petri Nets. 1978.

• Kotov, V.E.:
  Control Types: An Approach to the Problem of Parallel Language. 1976.

Back to the Petri Nets Bibliography