Showing 1–6 of 6 results for author: Zaitsev, D A

Sleptsov Nets are Turing-complete

Authors: Bernard Berthomieu, Dmitry A. Zaitsev

Abstract: The present paper proves that a Sleptsov net (SN) is Turing-complete, that considerably improves, with a brief construct, the previous result that a strong SN is Turing-complete. Remind that, unlike Petri nets, an SN always fires enabled transitions at their maximal firing multiplicity, as a single step, leaving for a nondeterministic choice of which fireable transitions to fire. A strong SN restr… ▽ More The present paper proves that a Sleptsov net (SN) is Turing-complete, that considerably improves, with a brief construct, the previous result that a strong SN is Turing-complete. Remind that, unlike Petri nets, an SN always fires enabled transitions at their maximal firing multiplicity, as a single step, leaving for a nondeterministic choice of which fireable transitions to fire. A strong SN restricts nondeterministic choice to firing only the transitions having the highest firing multiplicity. △ Less

Submitted 14 December, 2023; v1 submitted 17 June, 2023; originally announced June 2023.

Comments: Sleptsov Net Computing Resolves Modern Supercomputing Problems, https://technews.acm.org/archives.cfm?fo=2023-04-apr/apr-21-2023.html

Journal ref: Theoretical Computer Science, 2023, 114346, ISSN 0304-3975

Computing with Modular Robots

Authors: Genaro J. Martinez, Andrew Adamatzky, Ricardo Q. Figueroa, Eric Schweikardt, Dmitry A. Zaitsev, Ivan Zelinka, Luz N. Oliva-Moreno

Abstract: Propagating patterns are used to transfer and process information in chemical and physical prototypes of unconventional computing devices. Logical values are represented by fronts of traveling diffusive, trigger or phase waves. We apply this concept of pattern based computation to develop experimental prototypes of computing circuits implemented in small modular robots. In the experimental prototy… ▽ More Propagating patterns are used to transfer and process information in chemical and physical prototypes of unconventional computing devices. Logical values are represented by fronts of traveling diffusive, trigger or phase waves. We apply this concept of pattern based computation to develop experimental prototypes of computing circuits implemented in small modular robots. In the experimental prototypes the modular robots Cubelets are concatenated into channels and junction. The structures developed by Cubelets propagate signals in parallel and asynchronously. The approach is illustrated with a working circuit of a one-bit full adder. Complementarily a formalization of these constructions are developed across Sleptsov nets. Finally, a perspective to swarm dynamics is discussed. △ Less

Submitted 14 February, 2022; originally announced February 2022.

Comments: 33 pages, 23 figures, 5 tables

Journal ref: International Journal of Unconventional Computing, 17(1-2), 31-60, 2022

Strong Sleptsov Net is Turing-Complete

Authors: Dmitry A. Zaitsev

Abstract: It is known that a Sleptsov net, with multiple firing a transition at a step, runs exponentially faster than a Petri net opening prospects for its application as a graphical language of concurrent programming. We provide classification of place-transition nets based on firability rules considering general definitions and their strong and weak variants. We introduce and study a strong Sleptsov net,… ▽ More It is known that a Sleptsov net, with multiple firing a transition at a step, runs exponentially faster than a Petri net opening prospects for its application as a graphical language of concurrent programming. We provide classification of place-transition nets based on firability rules considering general definitions and their strong and weak variants. We introduce and study a strong Sleptsov net, where a transition with the maximal firing multiplicity fires at a step, and prove that it is Turing-complete. We follow the proof pattern of Peterson applied to prove that an inhibitor Petri net is Turing-complete simulating a Shepherdson and Sturgis register machine. The central construct of our proof is a strong Sleptsov net that checks whether a register value (place marking) equals zero. △ Less

Submitted 22 January, 2022; originally announced January 2022.

Comments: 21 pages, 8 figures, 2 tables, 43 references

Journal ref: Information Sciences, Volume 621, 2023, Pages 172-182, ISSN 0020-0255

k-neighborhood for Cellular Automata

Authors: Dmitry A. Zaitsev

Abstract: A neighborhood for d-dimensional cellular automata is introduced that spans the range from von Neumann to Moore neighborhood using a parameter which represents the dimension of hypercubes connecting neighboring cells. The neighborhood is extended to include a concept of radius. The number of neighbors is calculated. For diamond-shaped neighborhoods, a sequence is obtained whose partial sums equal… ▽ More A neighborhood for d-dimensional cellular automata is introduced that spans the range from von Neumann to Moore neighborhood using a parameter which represents the dimension of hypercubes connecting neighboring cells. The neighborhood is extended to include a concept of radius. The number of neighbors is calculated. For diamond-shaped neighborhoods, a sequence is obtained whose partial sums equal Delannoy numbers. △ Less

Submitted 28 May, 2016; originally announced May 2016.

Comments: 8 pages, 3 figures, 12 references, OEIS: A265014, A266213

MSC Class: 37B15; 68Q80 ACM Class: B.6.1

Small Polynomial Time Universal Petri Nets

Authors: Dmitry A. Zaitsev

Abstract: The time complexity of the presented in 2013 by the author small universal Petri nets with the pairs of places/transitions numbers (14,42) and (14,29) was estimated as exponential. In the present paper, it is shown, that their slight modification and interpretation as timed Petri nets with multichannel transitions, introduced by the author in 1991, allows obtaining polynomial time complexity. The… ▽ More The time complexity of the presented in 2013 by the author small universal Petri nets with the pairs of places/transitions numbers (14,42) and (14,29) was estimated as exponential. In the present paper, it is shown, that their slight modification and interpretation as timed Petri nets with multichannel transitions, introduced by the author in 1991, allows obtaining polynomial time complexity. The modification concerns using only inhibitor arcs to control transitions' firing in multiple instances and employing an inverse control flow represented by moving zero. Thus, small universal Petri nets are efficient that justifies their application as models of high performance computations. △ Less

Submitted 27 September, 2013; originally announced September 2013.

Comments: arXiv admin note: text overlap with arXiv:1309.1274

ACM Class: F.1.2

A Small Universal Petri Net

Authors: Dmitry A. Zaitsev

Abstract: A universal deterministic inhibitor Petri net with 14 places, 29 transitions and 138 arcs was constructed via simulation of Neary and Woods' weakly universal Turing machine with 2 states and 4 symbols; the total time complexity is exponential in the running time of their weak machine. To simulate the blank words of the weakly universal Turing machine, a couple of dedicated transitions insert their… ▽ More A universal deterministic inhibitor Petri net with 14 places, 29 transitions and 138 arcs was constructed via simulation of Neary and Woods' weakly universal Turing machine with 2 states and 4 symbols; the total time complexity is exponential in the running time of their weak machine. To simulate the blank words of the weakly universal Turing machine, a couple of dedicated transitions insert their codes when reaching edges of the working zone. To complete a chain of a given Petri net encoding to be executed by the universal Petri net, a translation of a bi-tag system into a Turing machine was constructed. The constructed Petri net is universal in the standard sense; a weaker form of universality for Petri nets was not introduced in this work. △ Less

Submitted 5 September, 2013; originally announced September 2013.

Comments: In Proceedings MCU 2013, arXiv:1309.1043. the smallest known universal Petri net

Journal ref: EPTCS 128, 2013, pp. 190-202