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

This page was built for person: Dmitry A. Zaitsev