Person:511005

Available identifiers

zbMath Open zaitsev.dmitry-aMaRDI QIDQ511005

List of research outcomes

Publication	Date of Publication	Type
Strong sleptsov nets are Turing complete	2024-04-18	Paper
Sleptsov nets are Turing-complete	2024-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q5010295	2021-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4992880	2021-06-10	Paper
Infinite Petri Nets: Part 1, Modeling Square Grid Structures	2020-10-20	Paper
Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal, Hypercube and Hypertorus Structures	2020-10-20	Paper
Sequential composition of linear systems' clans	2019-12-13	Paper
Universal Sleptsov net	2018-07-25	Paper
A generalized neighborhood for cellular automata	2017-02-14	Paper
Universality in Infinite Petri Nets	2015-09-15	Paper
Universal Petri net	2015-03-18	Paper
Paradigm of computations on the Petri nets	2015-03-13	Paper
Verification of hypercube communication structures via parametric Petri nets	2010-09-24	Paper
Compositional analysis of Petri nets	2006-09-06	Paper
Decomposition of Petri nets	2005-11-18	Paper
Invariants of timed Petri nets	2005-06-07	Paper
Switched LAN simulation by colored Petri nets	2004-08-06	Paper
Synthesis of continuous-valued logic functions defined in tabular form	1999-07-15	Paper
State equations and equivalent transformations for timed Petri nets	1999-04-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dmitry A. Zaitsev