Abstract
Finite classical Petri nets are non-Turing-complete. Two infinite Petri nets are constructed which simulate the linear cellular automaton RuleĀ 110 via expanding traversals of the cell array. One net is obtained via direct simulation of the cellular automaton while the other net simulates a Turing machine, which simulates the cellular automaton. They use cell models of 21 and 14 nodes, respectively, and simulate the cellular automaton in polynomial time. Based on known results we conclude that these Petri nets are Turing-complete and run in polynomial time. We employ an induction proof technique that is applicable for the formal proof of RuleĀ 110 ether and gliders properties further to the constructs presented by Matthew Cook.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Agerwala, T.: A complete model for representing the coordination of asynchronous processes, John Hopkins University, Hopkins Computer Science Program, Baltimore, MD, Research Report no. 32, July 1974
Berthomieu, B., Ribet, O.-P., Vernadat, F.: The tool TINA-construction of abstract state space for Petri nets and time Petri nets. Int. J. Prod. Res. 42(14), 2741ā2756 (2004)
Burkhard, H.-D.: On priorities of parallelism: Petri nets under the maximum firing strategy. In: Salwicki, A. (ed.) Logics of Programs and Their Applications. LNCS, vol. 148, pp. 86ā97. Springer, Heidelberg (1983)
Cook, M.: Universality in elementary cellular automata. Complex Syst. 15(1), 1ā40 (2004). http://www.complex-systems.com/pdf/15-1-1.pdf
Cook, M.: A Concrete View of Rule 110 Computation. In: Neary, T., Woods, D., Seda, A.K., Murphy, N. (eds.) The Complexity of Simple Programs 2008, EPTCS 1, pp. 31ā55 (2009). doi:10.4204/EPTCS.1.4
Esparza, J.: Decidability and complexity of PN problems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 374ā428. Springer, Heidelberg (1998)
Fischer, P.C., Meyer, A.R., Rosenberg, A.L.: Counter machines and counter languages. Math. Syst. Theory 2(3), 265ā283 (1968). http://dx.doi.org/10.1007/BF01694011
Ivanov, S., Pelz, E., Verlan, S.: Small Universal Petri Nets with Inhibitor Arcs. In: Computability in Europe, pp. 23ā27, Budapest, Hungary, June 2014. ( http://arxiv.org/abs/arXiv:1312.4414)
Korec, I.: Small universal register machines. Theoret. Comput. Sci. 168(2), 267ā301 (1996)
Kotov, V.E.: Seti Petri. Nauka, Moscow (1984)
Neary, T.: Small universal Turing machines. PhD thesis, Department of Computer Science, National University of Ireland, Maynooth (2008)
Neary, T., Woods, D.: Small weakly universal turing machines. In: KutyÅowski, M., Charatonik, W., GÄbala, M. (eds.) FCT 2009. LNCS, vol. 5699, pp. 262ā273. Springer, Heidelberg (2009). http://www.ini.uzh.ch/\(\sim \)tneary/NearyWoods\_FCT2009.pdf
Neary, T.: On the computational complexity of spiking neural P systems. Nat. Comput. 9(4), 831ā851 (2010)
Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part i. Theoretical Computer Science 13, 85ā108 (1981)
Peterson, J.: A note on colored petri nets. Inf. Proces. Lett. 11(1), 40ā43 (1980)
Peterson, J.: Petri Net Theory and the Modelling of Systems, Prentice-Hall (1981)
Petri, C.: Kommunikation mit Automaten. Bonn: Institut fur Instrumentelle Mathematik, Schriften des IIM, Nr. 2 (1962)
Smith, E.: Principles of high-level net theory. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 174ā210. Springer, Heidelberg (1998)
Winkowski, J.: Reachability in contextual nets. In: Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CSP 2001), vol. 51(1ā2), pp. 235ā250 (2002)
Zaitsev, D.A., Sleptsov, A.I.: State equations and equivalent transformations for timed petri nets. Cybern. Syst. Anal. 33(5), 659ā672 (1997). doi:10.1007/BF02667189
Zaitsev, D.A.: A Small universal Petri net. In: Neary, T., Cook, M. (eds.) Proceedings Machines, Computations and Universality 2013 (MCU 2013), Zurich, Switzerland, September 9ā11, Electronic Proceedings in Theoretical Computer Science 128, 190ā202 (2013). doi:10.4204/EPTCS.128.22
Zaitsev, D.A.: Small polynomial time universal petri nets, September 2013. arXiv:1309.7288
Zaitsev D.A., Zaitsev I.D., Shmeleva T.R.: Infinite Petri Nets as Models of Grids. In: Khosrow-Pour, M. (ed.) Encyclopedia of Information Science and Technology, 3rd edn., vol. 10, Chap. 19, pp. 187ā204. IGI-Global USA (2014)
Zaitsev, D.A.: Simulating cellular automata by infinite synchronous Petri nets. In: 21st Annual International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2015) Exploratory papers, vol. 24, pp. 91ā100. TUCS Lecture Notes, Turku, Finland, 8ā10 June 2015
Acknowledgement
The author would like to thank reviewers whose comments allowed the refinement of the presentation and Jacob Hendricks for his help in improving the readability of the paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Zaitsev, D.A. (2015). Universality in Infinite Petri Nets. In: Durand-Lose, J., Nagy, B. (eds) Machines, Computations, and Universality. MCU 2015. Lecture Notes in Computer Science(), vol 9288. Springer, Cham. https://doi.org/10.1007/978-3-319-23111-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-23111-2_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23110-5
Online ISBN: 978-3-319-23111-2
eBook Packages: Computer ScienceComputer Science (R0)