Zaitsev Dmitry

Zaitsev Dmitry Country: Poland
Laboratory webpage

Participation in Working Groups

  • WG2 - Structural analysis of biomolecules involved in mechanobiology
  • WG3 - New methodologies to study mechanobiology of cells and tissues

Research Interests

Principal Theoretical Results:

- Speed-up solving linear systems on parallel erchitectures

- Explicit construction of Universal Sleptsov/Petri Nets

- Analysis of Infinite Petri Nets with regular structure (linear, square, hypercube)

- Clans of systems of linear algebraic equations, their simultaneous and sequential composition

- Compositional Analysis of Petri Nets

- Decomposition of Petri Net into Functional Subnets

- Functional equivalence and equivalent transformationsof timed Petri nets

- Timed Petri nets with multi-channel transitions, their state equation and partial invariants

- Synthesis of Continuous (fuzzy) Logic function given by table

Principal Scientific-Practical Results:

- ParAd - solving linear systems on modern papallel architectures

- Software systems: Opera-Topaz–Petri net based production control and management, Nevod–Petri net modeling systemfor embedded applications, Sergo–editor of electrical circuits

- Plug-inmodules for Petri net modelingsystemTina: Deborah–decomposition into clans, Adriana–compositional computing Petri net invariants

- Petri net models of networking protocols:TCP, BGP, IOTP, ECMA

- Software generators of Petri net models of grids: square, hypercube, hypertorus

- Colored Petri net models of networks: Ethernet, IP, MPLS, Bluetooth, PBB, E6

- Stack of networking protocols E6 and its implementation in Linux kernel

Technologies offered to other EuroCellNet participants

High-performance computing

Cellular automata

Petri nets

Fuzzy logic

Technologies sought from other EuroCellNet participants

Structural biology

Modeling microbes and viruses


Zaitsev D.A. Simulating Cellular Automata by Infinite Petri Nets, Journal of Cellular Automata. 13(1-2), 2018, 121-144.

Zaitsev D.A. A generalized neighborhood for cellular automata, Theoretical Computer Science, 666 (2017), 21–35, DOI: 10.1016/j.tcs.2016.11.002

Dmitry A. Zaitsev, Ivan D. Zaitsev and Tatiana R. Shmeleva. Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal, Hypercube and Hypertorus Structures, Complex Systems, 26(4), 2017, 341-371. DOI: 10.25088/ComplexSystems.26.2.341

Dmitry A. Zaitsev, Ivan D. Zaitsev and Tatiana R. Shmeleva. Infinite Petri Nets: Part 1, Modeling Square Grid Structures, Complex Systems, 26(2), 2017, 157-195. DOI: 10.25088/ComplexSystems.26.2.157

Zaitsev D.A. Toward the Minimal Universal Petri Net, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014, Vol. 44, No. 1, 47-58, epub: 15 February 2013, DOI: 10.1109/TSMC.2012.2237549