We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
On simulating Turing machines with inhibitor Petri nets.
- Authors
Zaitsev, D. A.; Li, Z. W.
- Abstract
An inhibitor Petri net is constructed that simulates an arbitrary given Turing machine. The tape of the Turing machine, its program, and internal states are encoded by the marking of nine dedicated places of the Petri net. The rules of Turing machine work are encoded by a single control flow represented by a token passage within the inhibitor Petri net composed of the sequence, branch, and loop operators. Subnets that implement arithmetic, comparison, and copying operations are employed. In the Petri net paradigm of computation, a Petri net that simulates Turing machines provides the compatibility of concepts. It is a prototype of a co-processor supplementary to the basic processor of Petri nets. © 2017 Institute of Electrical Engineers of Japan. Published by John Wiley & Sons, Inc.
- Subjects
TURING machines; PETRI nets; PROTOTYPES; ARRAY processors; SIMULATION methods &; models
- Publication
IEEJ Transactions on Electrical & Electronic Engineering, 2018, Vol 13, Issue 1, p147
- ISSN
1931-4973
- Publication type
Article
- DOI
10.1002/tee.22508