The following pages link to Dmitry A. Zaitsev (Q511005):
Displaying 21 items.
- A generalized neighborhood for cellular automata (Q511006) (← links)
- (Q1280881) (redirect page) (← links)
- State equations and equivalent transformations for timed Petri nets (Q1280882) (← links)
- Synthesis of continuous-valued logic functions defined in tabular form (Q1280940) (← links)
- (Q1780237) (redirect page) (← links)
- Invariants of timed Petri nets (Q1780238) (← links)
- Switched LAN simulation by colored Petri nets (Q1826577) (← links)
- Verification of hypercube communication structures via parametric Petri nets (Q1956980) (← links)
- Paradigm of computations on the Petri nets (Q2261779) (← links)
- Universal Petri net (Q2263192) (← links)
- Sequential composition of linear systems' clans (Q2279738) (← links)
- Compositional analysis of Petri nets (Q2501338) (← links)
- Decomposition of Petri nets (Q2574246) (← links)
- Universality in Infinite Petri Nets (Q2945886) (← links)
- Universal Sleptsov net (Q3177465) (← links)
- (Q4992880) (← links)
- (Q5010295) (← links)
- Infinite Petri Nets: Part 1, Modeling Square Grid Structures (Q5126834) (← links)
- Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal, Hypercube and Hypertorus Structures (Q5126838) (← links)
- Strong sleptsov nets are Turing complete (Q6132054) (← links)
- Sleptsov nets are Turing-complete (Q6138839) (← links)
