dimazaitsev Goto Github PK

cpntoolszaitsev

depn

Generator of Petri nets which count double exponent 2^2^k after R.J.Lipton & J.Esparza constructs

dimazaitsev.github.io

Web-site of Dmitry Zaitsev

fzy_syn

Synthesis of fuzzy logic functions given by a choice table

hmn

Generators of canvas for Petri net models of hypertorus (hypercube) grid with Moore's, von-Neumann's, and generalized neighborhoods

ht-mcrl2-gen

Generates mCRL2 model of a d-dimensional communication grid connected in a hypertorus

htgen

Generator of hypertorus Petri net models

ndrtosn

parad

Solve a linear Diophantine homogeneous (sparse) system via composition of its clans on parallel architectures

snc_arduinoide

sq

Generators of Petri net models of a square grid with the following edge conditions: open edges, plugs on edges, truncated devices on edges, respectively

ts

Torus Simulator: simulator of traffic within multidimensional torus interconnect