Zaitsev, D.A.

• Zaitsev, D. A.:
  Compositional analysis of Petri nets. 2006.

• Zaitsev, D.A.:
  Software for decomposition of bipartite directed graphs. 2005.

• Zaitsev, D.A.:
  Solving linear systems using decomposition. 2005.

• Zaitsev, D.A.:
  Solving the fundamental equation of Petri net in the process of composition of functional subnet. 2005.

• Zaitsev, D.A.:
  The measuring fragments in Petri net models of telecommunication networks. 2005.

• Zaitsev, D.A.:
  Verification of telecommunication protocols using decomposition of Petri nets. 2005.

• Zaitsev, D.A.; Shmeleva, T.R.:
  A measurement of characteristics for a single-level switched network using parametric Petri net model. 2005.

• Zaitsev, D.A.; Shmeleva, T.R.:
  Parametric Petri net model of single-level switched network. 2005.

• Zaitsev, D.A.:
  An Evaluation of Network Response Time using a Coloured Petri Net Model of Switched LAN. 2005.

• Zaitsev, D.A.; Shmeleva, T.R.:
  Principes of parametric Petri net models construction for switched networks. 2005.

• Zaitsev, D.A.:
  Functional Petri Nets. 2005.

• Zaitsev, D.A.:
  Verification of Protocol BGP via Decomposition of Petri Net Model into Functional Subnets. 2005.

• Zaitsev, Dmitry A.:
  Decomposition of Petri Nets. 2004.

• Zaitsev, D.A.:
  Decomposition of protocol ECMA. 2004.

• Zaitsev, D. A.:
  Invariance of TCP protocol Petri net model. 2004.

• Zaitsev, D.A.:
  Invariants of timed Petri nets. 2004.

• Zaitsev, D.A.:
  On question of calculation complexity of Toudic's method. 2004.

• Zaitsev, D.A.:
  Speed-up of solution of linear systems with the aid of decomposition into clans. 2004.

• Zaitsev, D.A.:
  Theoretical grounding of Toudic's method. 2004.

• Zaitsev, D. A.:
  Verification of Ethernet protocols. 2004.

• Zaitsev, D.A.; Shmeleva, T.R.:
  Modelling of switched networks with colored Petri nets. 2004.

• Zaitsev, Dmitry A.:
  An Evaluation of Network Response Time using a Coloured Petri Net Model of Switched Lan. 2004.

• Zaitsev, Dmitry A.:
  Verification of protocol TCP via decomposition of Petri net model into functional subnets. 2004.

• Zaitsev, D.A.:
  Solving the fundamental equation of Petri net using the decomposition into functional subnets. 2004.

• Zaitsev, D.A.:
  Verification of Protocol ECMA with Decomposition of Petri Net Model. 2004.

• Zaitsev, D.A.:
  Decomposition-based Calculation of Petri net Invariants. 2004.

• Zaitsev, D.A.:
  Invariants of functional subnets. 2003.

• Zaitsev, D. A.:
  Switched LAN Simulation by Colored Petri Nets. 2003.

• Zaitsev, Dmitry A.:
  Formal Grounding of Toudic Method. 2003.

• Zaitsev, Dmitry A.:
  Subnets with Input and Output Places. 2003.

• Zaitsev, D. A.; Sarbej, V.; Sleptsov, A.:
  Synthesis of functions of the continuous logic given by table. 1998.

• Sleptsov, A.I.; Zaitsev, D.A.:
  State equations and equivalent transformations of Timed Petri nets. 1997.

• Zaitsev, D.A.; Sleptsov, A.I.:
  Visualizing Production Processes in an Instrumental Dispatcher System of a Machine-Construction Enterprise. 1990.

• Zaitsev, D.A.:
  Stepwise composition of functional subnets. 33-40.

Back to the Petri Nets Bibliography