Dissertation > Excellent graduate degree dissertation topics show

Modeling and Analysis of Few Concurrent Problems Based on Petri Nets

Author: ShaoChangMing
Tutor: SongWen
School: West China University
Course: Computer Software and Theory
Keywords: Petri net Asynchronous concurrent Formal methods S-invariant Modeling System analysis
CLC: TP301.1
Type: Master's thesis
Year: 2011
Downloads: 52
Quote: 1
Read: Download Dissertation

Abstract


Petri nets can not only use visual graphic description, but also can be supported by formal mathematical methods, it is a kind of formalized, graphical distributed system modeling and analysis tools. It can analyze system static characteristics accurately and analyze system dynamic behavior well, thereby good depicting system dynamic behavior and analyzing system performance. It may adopt formalized visual graphics and introduce many mathematical methods to analyze and verify its properties.At present, most software systems are concurrence systems, it is a parameter standard which can be used to measure operation efficiency of system. In order to achieve the effect with“little effort do much work”, the system environments available are requiring concurrent increasingly, only in this way can we use system resources environment and can we make a system has stronger competitiveness. As an excellent formalism description and analysis tools, Petri nets can describes and analyzes this kind system easily. The adoption of formal software technology, not only benefits to the intercommunion of developers and promotes the software robustness, but also reduce the total development time and decrease great number of errors in the early design phase.The main work of this paper is as follows:(1) Analysis of the Dining Philosophers problems based on Petri Nets. The Dining Philosophers problem is a classical example of synchronization and concurrency of describing the shared resources. The live and starvation-free are the prerequisites to solve this problem, and efficiency is basic requirements. Since the competition of resources that philosophers cannot simultaneously in eating state. Considering fairness of philosophers, we define concept of delayed Petri nets. Solved the conflict caused by competition of resources and improving the efficiency.(2) Modeling and improving Petri net model of the Sender-Receiver problem. Solving the user require to communicate and required user is free, while the channels are busy, several users request to communicate with other several users simultaneously, while the other several users are communicating, considering the channel utilization and the conflict of shared resources, we use the stack technology to analyze and verify, bring forward a model which is stronger and wider application of Petri nets.

Related Dissertations

  1. The Realization of Coal Liquefaction in the Continum Model System and the Experimental Research of Coal Liquefaction,TQ529.1
  2. Research on Mechanism Analysis and Modeling Simulation of Horizontal Well Tractor,P631.83
  3. Analysis and Study of Abutment Stability in Concrete High Arch Dam by Three-Dimensional Nonlinear Finite Element Method,TV642.4
  4. Research on HID Lamp Rectifying Effect,TM923.32
  5. A Simulation Study of the Effects of Ischemia to Spiral Waves in 2-D Human Ventricular Tissue,R318.0
  6. Service Model Driven Architecture (SMDA) Oriented Modeling Techniques and Tool Implemention,TP311.52
  7. Design and Simulation of Flight Management Computer System CDU Unit in Flight Simulation,TP391.9
  8. Based on SEM Quality Evaluation of Rural Compulsory Education in China,G522.3
  9. Table lamp shape of Art and Design,TS956
  10. Prototype Development of Intimate Apparel Mannequin,TS941.2
  11. Mathematical Modeling in the High School Mathematics Teaching Practice and Exploration,G633.6
  12. Study on Model-Based Visualization of Wheat Root Systems,S512.1
  13. Moving target trajectory analysis based Intelligent Traffic Monitoring System,TP277
  14. Airborne radar antenna pedestal rapid design systems research and development,TN959.73
  15. Logic-based Web service composition Petri net modeling and analysis,TP393.09
  16. Hardware Implementation of Block Ciphers Algorithm Based on Petri Net,TN918.2
  17. Research on Petri Net-based Service-Oriented Modeling of Information Management Software,TP311.52
  18. The Research of Milling Cutter Parametric Design System Based on UG,TP391.72
  19. Real-time Simulation of Low-Voltage Power Line Communication Channels Based on FPGA,TN913.6
  20. The Analysis of the Dynamic Character and the Rearch of the Control Metrod on 2030 Temper Mill Pressing System,TG333
  21. Fault Localization Method for Distribution Network Based on Fault Indicators,TM711

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