Skip to main content
SpringerLink
Log in

Inhibitor Petri net executing an arbitrary given Markov normal algorithm

  • Published:
Automatic Control and Computer Sciences Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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/

  2. Turing, A.M., On Computable Numbers with an Application to the Entscheidungsproblem, Proc. London Math. Soc., 1936, vol. 42, pp. 230–265.

    Article  MathSciNet  Google Scholar 

  3. Markov, A.A., Algorithm Theory, Tr. Mat. Inst. Akad. Nauk, 1954, vol. 42, p. 375.

    Google Scholar 

  4. 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.

  5. Kotov, V.E., Seti Petri (Petri Nets), Moscow: Nauka, 1984.

    MATH  Google Scholar 

  6. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. International Humanities University, Odessa, Ukraine

    D. A. Zaitsev

Authors
  1. D. A. Zaitsev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to D. A. Zaitsev.

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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0146411612070140

Keywords

Search

Navigation