Dissertation > Excellent graduate degree dissertation topics show

Modeling and Analyzing Reversible Gates and Reversible Circuits Based on Petri Net

Author: LiuYang
Tutor: ZengQingTian
School: Shandong University of Science and Technology
Course: Applied Computer Technology
Keywords: Petri net concurrent system asynchronous system concurrency Formal Language Quantum computing reversible gate reversible circuit
CLC: TP301.1
Type: Master's thesis
Year: 2010
Downloads: 54
Quote: 0
Read: Download Dissertation

Abstract


Petri net is widely known as a useful tool for modeling and analyzing the discrete and parallel systems. The initial purpose of designing Petri net is to model and analyze asynchronous and concurrent computing models. There are two forms of Petri net:graphic and mathematic ones. The development of Petri net has provided a richful theoretical basis for computer science. It has been widely used in the computer science, distributed computation and modeling the concurrent computing systems. The theory of Petri net is considered as a kind of automatical theory.In this thesis, Petri net is used in modeling the reversible gates and reversible circuits. Firstly, inspired from the Petri net models of logic gates, such as AND and OR, we design the Petri net models of Fredkin gate, and then we analyze its reachability, aliveness, boundary, structural boundary, dead lock and concurrentary. By transferring the Petri net model of the Fredkin gate into mathematical forms, we can easily analyze the Petri net models. We get the following results:the Petri net of the Fredkin gate is structural bounded, and there is no deadlocks, traps and conflicts. And there are two couples of concurrent transitions. But the Petri net is not alive.Reversible gates and ciucuits are the hot researching fields of Quantum computing. The reversible circuits consist of Fredkin reversible gates. Based on the models of Petri net of Fredkin gate, we have also modeled the reversible circuit by Petri net. Most of the properties of Fredkin gate such as aliveness, boundedness and so on are still useful in the reversible circuit. Some properties of the reversible circuit are not in the Fredkin gate, three of them are considered, and they are deadlock, reachability and aliveness.

Related Dissertations

  1. Hardware Implementation of Block Ciphers Algorithm Based on Petri Net,TN918.2
  2. Research on Petri Net-based Service-Oriented Modeling of Information Management Software,TP311.52
  3. The Research on the Innovation of the Form Language of Chinese Oil Painting after the Cultural Revolution,J213
  4. Parallel Computing and Performance Analysis of Concurrent Systems,TP338.6
  5. Software Testing and Reliability Computing Based on Model Rebuilding,TP311.53
  6. Research on Clustering Algorithm Based on Quantum Theory,TP311.13
  7. Research and Application in Shop Scheduling Based on Quantum Evolutionary Algorithm,TP18
  8. The dynamic cross-organizational workflow Collaborative Technology,TP311.52
  9. Penetration and Analysis on Formal Language of Contemporary China Oil Painting under Circumstance of Chinese-Western Integration,J213
  10. The Research of Petri Net Workflow System Base on Compiler Technology,TP311.52
  11. Research on Quantum Particle Swarm Optimization and Its Application to Codebook Design of Image Vector Quantization,TP301.6
  12. Design and Implementation of Data Dictionary in Da Meng DBMS,TP311.13
  13. Disposal of Dynamic Modification in Workflow,TP311.52
  14. The Design and Realization of ERP Approval Platform Based on Workflow,TP311.52
  15. Quantum-inspired Immune Clonal Algorithm and Application to Compressed Sensing Reconstructi,TN911.2
  16. Dynamic Detection of Multi-Variable Atomicity Violation,TP311.1
  17. Use Concurrent Engineering to Reduce New Connector Development Cycle Time,TM503.5
  18. Weak consistency of distributed data maintenance strategy study,TP311.13
  19. Petri net -based network intrusion detection system Research and Implementation,TP393.08
  20. Depot -based software process mining research,TP311.52
  21. The Formalized Representation of Electronic Government Procurement Process Based on Agent,F812.45

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > General issues > Theories, methods > Automata Theory
© 2012 www.DissertationTopic.Net  Mobile