Abstract
An inhibitor Petri net with a fixed structure that executes an arbitrary given Markov normal algorithm is constructed. The algorithm and its input string are encoded by nonnegative integer numbers and put into dedicated places of the Petri net, which implements the application of the algorithm productions over the string of symbols. Rules of encoding sequential, branching, and cyclic processes by Petri nets are used. Upon completion of the net operation, the output string is restored (decoded) from the integer form of the representation. Within the paradigm of computations on Petri nets, the constructed net provides the compatibility of systems.
Similar content being viewed by others
References
Zaitsev, D.A., Universal Inhibitor Petri Net, Proc. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010), Cottbus, 2010. http://CEUR-WS.org/Vol-643/
Turing, A.M., On Computable Numbers with an Application to the Entscheidungsproblem, Proc. London Math. Soc., 1936, vol. 42, pp. 230–265.
Markov, A.A., Algorithm Theory, Tr. Mat. Inst. Akad. Nauk, 1954, vol. 42, p. 375.
Zaitsev, D.A., Petri Net Design for Executing Turing Machine, Materialy IV mezhdunarodnoi nauchno-tekhnicheskoi konferentsii “Komp’yuternaya matematika v nauke, inzhenerii i obrazovanii” (Proc. 4th Int. Sci.-Techn. Conf. on ‘Computer Matematics in Science, Engineering and Education’ (CMSEE-2010)), Poltava, Ukraine, 2010, pp. 12–14.
Kotov, V.E., Seti Petri (Petri Nets), Moscow: Nauka, 1984.
Sleptsov, A.I. and Yurasov, A.A., Avtomatizatsiya proektirovaniya upravlyayushchikh sistem gibkikh avtomatizirovannykh proizvodstv, Automation of Control System Design in Flexible Automated Manufacturing), Malinovskii, B.N., Ed., Kiev: Tekhnika, 1986.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © D.A. Zaitsev, 2011, published in Modelirovanie i Analiz Informatsionnykh Sistem, 2011, No. 4, pp. 80–93.
The original term of A.A. Markov is traditionally preserved [3].
About this article
Cite this article
Zaitsev, D.A. Inhibitor Petri net executing an arbitrary given Markov normal algorithm. Aut. Control Comp. Sci. 46, 345–355 (2012). https://doi.org/10.3103/S0146411612070140
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0146411612070140