{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:35:00Z","timestamp":1725564900526},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_19","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T18:49:31Z","timestamp":1283712571000},"page":"331-350","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods"],"prefix":"10.1007","author":[{"given":"Leo","family":"Ojala","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olli-Matti","family":"Penttinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elina","family":"Parviainen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"19_CR1","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/BF01011339","volume":"22","author":"P. Benioff","year":"1980","unstructured":"Benioff, P.: The Computer as a Physical System: A Microscopic Quantum Mechanical Hamiltonian Model of Computers as Represented by Turing Machines. Journal of Statistical Physics\u00a022(5), 563\u2013591 (1980)","journal-title":"Journal of Statistical Physics"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1098\/rspa.1985.0070","volume":"400","author":"D. Deutsch","year":"1985","unstructured":"Deutsch, D.: Quantum Theory, the Church\u2013Turing Principle and the Universal Quantum Computer. Proceedings of Royal Society London A\u00a0400, 97\u2013117 (1985)","journal-title":"Proceedings of Royal Society London A"},{"issue":"6\/7","key":"19_CR3","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"R.P. Feynman","year":"1982","unstructured":"Feynman, R.P.: Simulating Physics with Computers. International Journal of Theoretical Physics\u00a021(6\/7), 467\u2013488 (1982)","journal-title":"International Journal of Theoretical Physics"},{"issue":"6","key":"19_CR4","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/BF01886518","volume":"16","author":"R.P. Feynman","year":"1986","unstructured":"Feynman, R.P.: Quantum Mechanical Computers. Foundations of Physics\u00a016(6), 507\u2013531 (1986)","journal-title":"Foundations of Physics"},{"issue":"4","key":"19_CR5","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/42404.42409","volume":"31","author":"B.L. Fox","year":"1988","unstructured":"Fox, B.L., Glynn, P.W.: Computing Poisson Probabilities. Communications of the ACM\u00a031(4), 440\u2013445 (1988)","journal-title":"Communications of the ACM"},{"issue":"3","key":"19_CR6","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF01857727","volume":"21","author":"E. Fredkin","year":"1982","unstructured":"Fredkin, E., Toffoli, T.: Conservative Logic. International Journal of Theoretical Physics\u00a021(3), 219\u2013253 (1982)","journal-title":"International Journal of Theoretical Physics"},{"issue":"2","key":"19_CR7","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1287\/opre.32.2.343","volume":"32","author":"D. Gross","year":"1984","unstructured":"Gross, D., Miller, D.R.: The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes. Operations Research\u00a032(2), 345\u2013361 (1984)","journal-title":"Operations Research"},{"key":"19_CR8","volume-title":"Quantum Computing","author":"J. Gruska","year":"1999","unstructured":"Gruska, J.: Quantum Computing. McGraw-Hill, UK (1999)"},{"key":"19_CR9","unstructured":"Junttila, T.: On the Symmetry Reduction Method for Petri Nets and Similar Formalisms. Research Report HUT\u2013TCS\u2013A80, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, Dissertation for the degree of Doctor of Science in Technology (September 2003)"},{"key":"19_CR10","unstructured":"M\u00e4kel\u00e4, M.: A Reachability Analyser for Algebraic System Nets. Research Report HUT\u2013TCS\u2013A69, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland (June 2001)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/3-540-48068-4_25","volume-title":"Application and Theory of Petri Nets 2002","author":"M. M\u00e4kel\u00e4","year":"2002","unstructured":"M\u00e4kel\u00e4, M.: Maria: Modular Reachability Analyser for Algebraic System Nets. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 434\u2013444. Springer, Heidelberg (2002)"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0167-2789(84)90252-5","volume":"10","author":"N. Margolus","year":"1984","unstructured":"Margolus, N.: Physics-Like Models of Computation. Physica D\u00a010, 81\u201395 (1984)","journal-title":"Physica D"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1111\/j.1749-6632.1986.tb12451.x","volume":"480","author":"N. Margolus","year":"1986","unstructured":"Margolus, N.: Quantum Computation. Annals of the New York Academy of Sciences\u00a0480, 487\u2013497 (1986)","journal-title":"Annals of the New York Academy of Sciences"},{"key":"19_CR14","series-title":"SFI Studies in the Sciences of Complexity","first-page":"273","volume-title":"Complexity, Entropy, and the Physics of Information","author":"N. Margolus","year":"1990","unstructured":"Margolus, N.: Parallel Quantum Computation. In: Zurek, W.H. (ed.) Complexity, Entropy, and the Physics of Information. SFI Studies in the Sciences of Complexity, vol.\u00a0VIII, pp. 273\u2013287. Addison\u2013Wesley, Reading (1990)"},{"key":"19_CR15","unstructured":"Maria homepage, http:\/\/www.tcs.hut.fi\/maria\/"},{"key":"19_CR16","unstructured":"Ojala, L., Penttinen, O.-M.: Simulating Quantum Interference in Feynman\u2019s $\\checkmark$ not-computer with Stochastic Petri Nets. In: Proceedings of the European Simulation and Modelling Conference (ESMc 2003), Naples, Italy, October 2003, pp. 494\u2013502 (2003)"},{"key":"19_CR17","series-title":"Forschungsberichte des Fachbereichs Informatik der Universit\u00e4t Dortmund","first-page":"103","volume-title":"On-site Proceedings of ICALP03 Satellite Workshop on Stochastic Petri Nets and Related Formalisms","author":"L. Ojala","year":"2003","unstructured":"Ojala, L., Penttinen, O.-M., Rantanen, H.: A Novel Application of Stochastic Petri Nets: Simulation of Serial Quantum Computers \u2013 Feynman\u2019s Swap Computer. In: Kemper, P. (ed.) On-site Proceedings of ICALP03 Satellite Workshop on Stochastic Petri Nets and Related Formalisms, June 2003. Forschungsberichte des Fachbereichs Informatik der Universit\u00e4t Dortmund, vol.\u00a0780, pp. 103\u2013122. Eindhoven, The Netherlands (2003)"},{"key":"19_CR18","first-page":"634","volume-title":"Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics","author":"E. Parviainen","year":"2002","unstructured":"Parviainen, E.: Reducing Size of Quantum Gate Matrices Using Pr\/T Nets. In: Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics, Hammamet, Tunisia, October 2002, vol.\u00a02, pp. 634\u2013639. IEEE (Institute of Electrical and Electronics Engineers, Inc.), Los Alamitos (2002)"},{"issue":"7","key":"19_CR19","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1119\/1.12061","volume":"48","author":"A. Peres","year":"1980","unstructured":"Peres, A.: Measurement of Time by Quantum Clocks. American Journal of Physics\u00a048(7), 552\u2013557 (1980)","journal-title":"American Journal of Physics"},{"issue":"11","key":"19_CR20","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1119\/1.12204","volume":"48","author":"A. Peres","year":"1980","unstructured":"Peres, A.: Zeno Paradox in Quantum Theory. American Journal of Physics\u00a048(11), 931\u2013932 (1980)","journal-title":"American Journal of Physics"},{"issue":"6","key":"19_CR21","doi-asserted-by":"publisher","first-page":"3266","DOI":"10.1103\/PhysRevA.32.3266","volume":"32","author":"A. Peres","year":"1985","unstructured":"Peres, A.: Reversible Logic and Quantum Computers. Physical Review A\u00a032(6), 3266\u20133276 (1985)","journal-title":"Physical Review A"},{"issue":"1-34","key":"19_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"Reisig, W.: Petri Nets and Algebraic Specifications. Theoretical Computer Science\u00a080(1-34), 1\u201334 (1991)","journal-title":"Theoretical Computer Science"},{"key":"19_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1763.001.0001","volume-title":"Cellular Automata Machines: A New Environment for Modeling","author":"T. Toffoli","year":"1987","unstructured":"Toffoli, T., Margolus, N.: Cellular Automata Machines: A New Environment for Modeling. MIT Press, Cambridge (1987)"},{"key":"19_CR24","volume-title":"Theory of Self-reproducing Automata","author":"J. Neumann von","year":"1966","unstructured":"von Neumann, J.: Theory of Self-reproducing Automata. University of Illinois Press, Urbana (1966); Completed and edited by Burks A. W."},{"key":"19_CR25","volume-title":"Theory and Applications of Cellular Automata: Including Selected Papers 1983\u20131986","author":"S. Wolfram","year":"1986","unstructured":"Wolfram, S.: Theory and Applications of Cellular Automata: Including Selected Papers 1983\u20131986. World Scientific Publishing Co., Inc., River Edge (1986)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:25:41Z","timestamp":1619997941000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}