Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets

Reachability analysis is one of the most successful methods used in design and validation of protocols for classical communication, whereas the predicate/transition-net formalism is one of the most appropriate formalisms for reachability analysis oriented modelling. Quantum teleportation and dense coding are non-classical communication protocols that have been widely researched in the field of quantum computing. In this article, we present predicate/transitionnet models of these two protocols and use the PROD reachability analysis tool for analysing the models.

• Publication year

  2008

• Venue

  Fundamenta Informaticae

• Publication date

  2008-01-01

• Fields of study

  Mathematics, Physics, Computer Science

• Identifiers
  DOI 10.3233/FUN-2008-851-432
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Quantum teleportation

  2009cited by this paper
• QMC: A Model Checker for Quantum Systems

  2007cited by this paper
• Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis

  2006cited by this paper
• Quantum Approach to Informatics

  2005influential reference
• Probabilistic Model-Checking of Quantum Protocols

  2005cited by this paper
• Reasoning About Quantum Knowledge

  2005cited by this paper
• Techniques for design and validation of quantum protocols

  2004cited by this paper
• Quantum logic synthesis by symbolic reachability analysis

  2004cited by this paper
• Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods

  2004cited by this paper
• Classical analog of entanglement

  2001cited by this paper
• Teleportation: from probability distributions to quantum states

  2000cited by this paper
• Spooky action at a distance in quantum mechanics

  1998cited by this paper
• prod 3.2: An Advanced Tool for Efficient Reachability Analysis

  1997cited by this paper
• Quantum teleportation and the non-locality of information

  1997cited by this paper
• An Advanced Tool for Efficient Reachability Analysis

  1996cited by this paper
• PROD Reference Manual

  1995cited by this paper
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels.

  1993cited by this paper
• Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states.

  1992cited by this paper
• Linear Algebra and Matrix Theory

  1991influential reference
• Predicate/Transition Nets

  1986cited by this paper
• Kronecker Products and Matrix Calculus: With Applications

  1981cited by this paper
• Cipher Printing Telegraph Systems For Secret Wire and Radio Telegraphic Communications

  year unknowncited by this paper

• No citing papers are available for this paper.