利奥·奥贾拉;奥利·马蒂·彭廷;艾琳娜·帕维亚宁 使用网络理论方法对Margolus量子细胞自动机进行建模和分析。 （英语） 兹比尔1094.68570 Cortadella，Jordi（编辑）等人，《Petri网的应用和理论》，2004年。2004年6月21日至25日，第25届国际会议，意大利博洛尼亚ICATPN 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22236-7/pbk）。计算机科学课堂讲稿3099，331-350（2004）。 摘要：Petri网方法在对经典并行系统的操作进行建模方面非常成功。在这项工作中，这些方法被应用于设计半经典并行量子计算机。本研究的演示对象是Margolus提出的量子台球模型元胞自动机（BBMCA）。首先，构造了该自动机的经典可逆版本的高级Petri网模型。随后，该Petri网模型被用作量子BBMCA的所谓核心网。生成量子计算机时间演化所需的与时间无关的哈密顿量可以从核网络的可达图中自动生成。同时，给出了求解量子自动机时间模拟所需的薛定谔微分方程组的一种新的数值方法。介绍了用于量子计算机建模和数值模拟的软件包Quantum Maria。关于整个系列，请参见[Zbl 1052.68002号]. MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 81页68 量子计算 68克80 细胞自动机（计算方面） 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 软件：玛丽亚 PDF格式BibTeX公司 XML格式引用 \文本{L.Ojala}等人，Lect。注释计算。科学。3099、331--350（2004年；Zbl 1094.68570） 全文： 内政部